Guido Fiorino

Available identifiers

zbMath Open fiorino.guidoMaRDI QIDQ230826

List of research outcomes

Publication	Date of Publication	Type
Linear depth deduction with subformula property for intuitionistic epistemic logic	2023-06-14	Paper
New Tableau Characterizations for Non-clausal <scp>MaxSAT</scp> Problem	2022-07-22	Paper
A non-clausal tableau calculus for \textsc{MinSat}	2021-10-19	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
Simplification Rules for Intuitionistic Propositional Tableaux	2015-09-17	Paper
An Evaluation-Driven Decision Procedure for G3i	2015-09-17	Paper
Terminating calculi for propositional Dummett logic with subformula property	2015-07-02	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
Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus	2010-09-08	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
Optimization techniques for propositional intuitionistic logic and their implementation	2008-12-12	Paper
Improvements to the Tableau Prover PITP	2008-01-04	Paper
Computer Science Logic	2005-08-22	Paper
A secondary semantics for Second Order Intuitionistic Propositional Logic	2004-03-29	Paper
Space-efficient Decision Procedures for Three Interpolable Propositional Intermediate Logics	2003-10-06	Paper
https://portal.mardi4nfdi.de/entity/Q4428299	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4412855	2003-07-17	Paper
An \(O(n\log n)\)-SPACE decision procedure for the propositional Dummett logic	2002-04-11	Paper
Efficient learning with equivalence queries of conjunctions of modulo functions	1997-02-27	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: Guido Fiorino