Sfoglia per Autore
On maximal intermediate predicate constructive logics
1996 A. Avellone, C. Fiorentini, P. Mantovani, P. Miglioli
A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications
1999 C. Fiorentini, P. Miglioli
All intermediate logics with extra axioms in one variable, except eight, are not strongly omega-complete
2000 C. Fiorentini
Kripke completeness for intermediate logics
2000 C. Fiorentini
A formal framework for synthesis and verification of logic programs
2001 A. Avellone, M. Ferrari, C. Fiorentini
Extracting information from intermediate semiconstructive HA-systems - extended abstract
2001 M. Ferrari, C. Fiorentini, P. Miglioli
Hypercanonicity, extensive canonicity, canonicity and strong completeness of intermediate propositional logics
2001 C. Fiorentini
Tableau calculi for the logics of finite k-ary trees
2002 M. Ferrari, C. Fiorentini, G. Fiorino
On the complexity of disjunction and explicit definability properties in some intermediate logics
2002 M. Ferrari, C. Fiorentini, G. Fiorino
Extracting exact time bounds from logical proofs
2002 M. Ferrari, C. Fiorentini, M. Ornaghi
A proof-theoretical analysis of semiconstructive intermediate theories
2003 M. Ferrari, C. Fiorentini
Combining word problems through rewriting in categories with products
2003 C. Fiorentini, S. Ghilardi
A space efficient implementation of a tableau calculus for a logic with a constructive negation
2004 A. Avellone, C. Fiorentini, G. Fiorino, U. Moscato
A secondary semantics for second order intuitionistic propositional logic
2004 M. Ferrari, C. Fiorentini, G. Fiorino
On the complexity of the disjunction property in intuitionistic and modal logics
2005 M. Ferrari, C. Fiorentini, G. Fiorino
Snapshots generation via constructive logic
2005 M. Ornaghi, C. Fiorentini, A. Momigliano
A constructive object oriented modeling language for information systems
2006 M. Ornaghi, M. Benini, M. Ferrari, C. Fiorentini, A. Momigliano
ESBC : an application for computing stabilization bounds
2006 A. Avellone, M. Ferrari, C. Fiorentini, G. Fiorino, U. Moscato
Answer Set Semantics vs. Information Term Semantics
2007 C. Fiorentini, M. Ornaghi
A constructive semantics for ALC
2007 L. Bozzato, M. Ferrari, C. Fiorentini, G. Fiorino
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