Mauro Ferrari

Available identifiers

zbMath Open ferrari.mauroMaRDI QIDQ972429

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mauro Ferrari