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 \textsc{MaxSAT} 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

This page was built for person: Guido Fiorino