Bicocca Open Archive

Logo unimib boa

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 42
Titolo Tipologia Data di pubblicazione Autori File
Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic 01 - Articolo su rivista 2023 Fiorino, G
New Tableau Characterizations for Non-clausal MaxSAT Problem 01 - Articolo su rivista 2022 Fiorino, G
A non-clausal tableau calculus for MINSAT 01 - Articolo su rivista 2022 Fiorino G.
Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic 99 - Altro 2021 Fiorino, GG
A Sequent Based On-the-fly Procedure to Get Hilbert Proofs in Classical Propositional Logic 02 - Intervento a convegno 2019 Fiorino, G +
Forward countermodel construction in modal Logic K 02 - Intervento a convegno 2018 Fiorino. G +
JTabWb: A Java Framework for Implementing Terminating Sequent and Tableau Calculi 01 - Articolo su rivista 2017 Fiorino, G. +
Proof-search in Hilbert calculi 02 - Intervento a convegno 2017 Fiorino, G. +
Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations 02 - Intervento a convegno 2015 FIORINO, GUIDO GIUSEPPE +
An evaluation-driven decision procedure for G3i 01 - Articolo su rivista 2015 FIORINO, GUIDO GIUSEPPE +
Terminating Calculi for Propositional Dummett Logic with Subformula Property 01 - Articolo su rivista 2014 FIORINO, GUIDO GIUSEPPE
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi 02 - Intervento a convegno 2014 FIORINO, GUIDO GIUSEPPE +
How to reduce backtracking in propositional intuitionistic logic 02 - Intervento a convegno 2013 FIORINO, GUIDO GIUSEPPE
Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models 01 - Articolo su rivista 2013 FIORINO, GUIDO GIUSEPPE +
A Terminating Evaluation-Driven Variant of G3i 02 - Intervento a convegno 2013 FIORINO, GUIDO GIUSEPPE +
Simplification Rules for Intuitionistic Propositional Tableaux 01 - Articolo su rivista 2012 FIORINO, GUIDO GIUSEPPE +
Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World 02 - Intervento a convegno 2011 FIORINO, GUIDO GIUSEPPE
BCDL: Basic Constructive Description Logic 01 - Articolo su rivista 2010 FIORINO, GUIDO GIUSEPPE +
fCube: An Efficient Prover for Intuitionistic Propositional Logic 02 - Intervento a convegno 2010 FIORINO, GUIDO GIUSEPPE +
A Decidable Constructive Description Logic 02 - Intervento a convegno 2010 FIORINO, GUIDO GIUSEPPE +
Mostrati risultati da 1 a 20 di 42
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile