FIORENTINI, CAMILLO
FIORENTINI, CAMILLO
A decidable constructive description logic
2010-01-01 Bozzato, L.; Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
A forward internal calculus for model generation in S4
2021-01-01 Fiorentini, C.; Ferrari, M.
A forward unprovability calculus for intuitionistic propositional logic
2017-01-01 Fiorentini, Camillo; Ferrari, Mauro
A natural deduction calculus for gödel-dummett logic internalizing proof-search control mechanisms?
2020-01-01 Fiorentini, C.; Ferrari, M.
A New Approach to Clausification for Intuitionistic Propositional Logic
2023-01-01 Fiorentini, C.; Ferrari, M.
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications
2009-01-01 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
BCDL: Basic Constructive Description Logic
2010-01-01 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic
2020-01-01 Fiorentini, Camillo; Ferrari, Mauro
Extracting exact time bounds from logical proofs
2002-01-01 Ferrari, Mauro; Fiorentini, Camillo; Ornaghi, M.
fCube: An Efficient Prover for Intuitionistic Propositional Logic
2010-01-01 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
Forward countermodel construction in modal Logic K
2018-01-01 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
Forward proof-search and countermodel construction in intuitionistic propositional logic
2020-01-01 Fiorentini, C.; Ferrari, M.
Forward refutation for Gödel-Dummett Logics
2022-01-01 Fiorentini, C.; Ferrari, M.
From constructivism to logic programming: An homage to Mario Ornaghi
2018-01-01 Ferrari, Mauro; Fiorentini, Camillo; Momigliano, Alberto
On the complexity of disjunction and explicit definability properties in some intermediate logics
2002-01-01 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
Proof-search in Hilbert calculi
2017-01-01 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
2015-01-01 Ferrari, Mauro; Fiorentini, Camillo
Tableau calculi for the logics of finite k-ary trees
2002-01-01 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido