( en | de | ru )

 

Disambiguation of "Fiorino, Guido"

Author of the publication

copydeleteadd this publication to your clipboard
Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models.

, , and . J. Autom. Reason., 51 (2): 129-149 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Bruno Remo Guidotti

Sauter Guido

Curt Guido

Isabella Guido

Luca Guido

 

Other publications of authors with the same name

Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World.. IJCAI, page 869-874. IJCAI/AAAI, (2011)Tableau Calculi for the Logics of Finite k-Ary Trees., , and . TABLEAUX, volume 2381 of Lecture Notes in Computer Science, page 115-129. Springer, (2002)A Terminating Evaluation-Driven Variant of G3i., , and . TABLEAUX, volume 8123 of Lecture Notes in Computer Science, page 104-118. Springer, (2013)Simplification Rules for Intuitionistic Propositional Tableaux., , and . ACM Trans. Comput. Log., 13 (2): 14:1-14:23 (2012)Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge.. IWIL@LPAR, volume 2 of EPiC Series in Computing, page 17-32. EasyChair, (2010)Terminating Calculi for Propositional Dummett Logic with Subformula Property. CoRR, (2012)An O(nlog n)-SPACE Decision Procedure for the Propositional Dummett Logic.. J. Autom. Reason., 27 (3): 297-311 (2001)Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus.. PAAR@IJCAR, volume 9 of EPiC Series in Computing, page 52-62. EasyChair, (2010)A secondary semantics for Second Order Intuitionistic Propositional Logic., , and . Math. Log. Q., 50 (2): 202-210 (2004)On the complexity of the disjunction property in intuitionistic and modal logics., , and . ACM Trans. Comput. Log., 6 (3): 519-538 (2005)