Camillo Fiorentini

Available identifiers

zbMath Open fiorentini.camilloMaRDI QIDQ972430

List of research outcomes

Publication	Date of Publication	Type
General clauses for SAT-based proof search in intuitionistic propositional logic	2024-09-27	Paper
SAT-based proof search in intermediate propositional logics	2022-12-07	Paper
Efficient SAT-based proof search in intuitionistic propositional logic	2021-12-01	Paper
A forward internal calculus for model generation in S4	2021-09-22	Paper
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic	2020-09-11	Paper
A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic	2020-05-14	Paper
Goal-oriented proof-search in natural deduction for intuitionistic propositional logic	2019-02-15	Paper
From Constructivism to Logic Programming: an Homage to Mario Ornaghi	2018-10-02	Paper
A forward unprovability calculus for intuitionistic propositional logic	2018-02-02	Paper
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi	2017-11-10	Paper
On the complexity of the disjunction property in intuitionistic and modal logics	2017-07-12	Paper
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic	2016-08-15	Paper
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic	2015-12-11	Paper
Simplification Rules for Intuitionistic Propositional Tableaux	2015-09-17	Paper
An Evaluation-Driven Decision Procedure for G3i	2015-09-17	Paper
Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models	2015-06-23	Paper
Terminating sequent calculi for proving and refuting formulas in S4	2015-02-26	Paper
A Terminating Evaluation-Driven Variant of G3i	2013-10-04	Paper
fCube: An Efficient Prover for Intuitionistic Propositional Logic	2010-10-12	Paper
A Decidable Constructive Description Logic	2010-10-01	Paper
\(\mathcal {BCDL}\): Basic constructive description logic	2010-05-26	Paper
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications	2009-11-30	Paper
Towards a Type Discipline for Answer Set Programming	2009-07-02	Paper
Snapshot Generation in a Constructive Object-Oriented Modeling Language	2009-01-22	Paper
Computer Science Logic	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4808818	2004-08-12	Paper
A secondary semantics for Second Order Intuitionistic Propositional Logic	2004-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4428299	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4421867	2003-09-01	Paper
Combining word problems through rewriting in categories with products	2003-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4412855	2003-07-17	Paper
A proof-theoretical analysis of semiconstructive intermediate theories	2003-04-27	Paper
Hypercanonicity, extensive canonicity, canonicity and strong completeness of intermediate propositional logics	2002-07-22	Paper
Extracting information from intermediate semiconstructive HA-systems -- extended abstract	2001-10-10	Paper
A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications	2000-01-30	Paper
All intermediate logics with extra axioms in one variable except eight are not strongly \(\omega\)-complete.	2000-01-01	Paper
On maximal intermediate predicate constructive logics	1997-01-16	Paper

Research outcomes over time

This page was built for person: Camillo Fiorentini