Mauro Ferrari

Available identifiers

zbMath Open ferrari.mauroMaRDI QIDQ972429

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
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
Goal-oriented proof-search in natural deduction for intuitionistic propositional logic	2019-02-15	Paper
Almost duplication-free tableau calculi for prepositional lax logics	2019-01-10	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
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
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
Actions Over a Constructive Semantics for Description Logics	2010-02-05	Paper
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications	2009-11-30	Paper
Snapshot Generation in a Constructive Object-Oriented Modeling Language	2009-01-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
On Uniformly Constructive and Semiconstructive Formal Systems	2003-10-16	Paper
https://portal.mardi4nfdi.de/entity/Q4428299	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4421867	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4412855	2003-07-17	Paper
A proof-theoretical analysis of semiconstructive intermediate theories	2003-04-27	Paper
Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models	2002-07-14	Paper
Extracting information from intermediate semiconstructive HA-systems – extended abstract	2001-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q2721194	2001-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4699343	2000-06-14	Paper
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics	2000-06-14	Paper
Cut-free tableau calculi for some intuitionistic modal logics	1998-09-14	Paper
A method to single out maximal propositional logics with the disjunction property. I	1996-01-16	Paper
A method to single out maximal propositional logics with the disjunction property. II	1995-12-05	Paper
Counting the maximal intermediate constructive logics	1994-09-01	Paper

Research outcomes over time

This page was built for person: Mauro Ferrari