Sfoglia per Autore
An evaluation-driven decision procedure for G3i
2015-01-01 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
Proof-search in Hilbert calculi
2017-01-01 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
A forward unprovability calculus for intuitionistic propositional logic
2017-01-01 Fiorentini, Camillo; Ferrari, Mauro
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi
2017-01-01 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, GUIDO GIUSEPPE
Forward countermodel construction in modal Logic K
2018-01-01 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
From constructivism to logic programming: An homage to Mario Ornaghi
2018-01-01 Ferrari, Mauro; Fiorentini, Camillo; Momigliano, Alberto
Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic
2019-01-01 Ferrari, Mauro; Fiorentini, Camillo
Forward proof-search and countermodel construction in intuitionistic propositional logic
2020-01-01 Fiorentini, C.; Ferrari, M.
A natural deduction calculus for gödel-dummett logic internalizing proof-search control mechanisms?
2020-01-01 Fiorentini, C.; Ferrari, M.
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic
2020-01-01 Fiorentini, Camillo; Ferrari, Mauro
A forward internal calculus for model generation in S4
2021-01-01 Fiorentini, C.; Ferrari, M.
Forward refutation for Gödel-Dummett Logics
2022-01-01 Fiorentini, C.; Ferrari, M.
SAT-based proof search in intermediate propositional logics
2022-01-01 Fiorentini, C.; Ferrari, M.
A New Approach to Clausification for Intuitionistic Propositional Logic
2023-01-01 Fiorentini, C.; Ferrari, M.
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