Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models

By Ferrari Mauro  

Journal of Automated Reasoning, Vol. 51, Iss. 2, 2013-08 ,pp. : 129-149

Springer Publishing Company

Access to resources Recommend Favorite

A proper hierarchy of propositional sequent calculi

By Arai N.H.  

Theoretical Computer Science, Vol. 159, Iss. 2, 1996-06 ,pp. : 343-354

Elsevier

Access to resources Recommend Favorite

An Optimal Decision Procedure for Right Propositional Neighborhood Logic

By Bresolin Davide   Montanari Angelo   Sciavicco Guido  

Journal of Automated Reasoning, Vol. 38, Iss. 1-3, 2007-04 ,pp. : 173-199

Springer Publishing Company

Access to resources Recommend Favorite

Disturbing Fuzzy Propositional Logic and its Operators

By Liu Xin  

Fuzzy Optimization and Decision Making, Vol. 5, Iss. 2, 2006-04 ,pp. : 163-175

Springer Publishing Company

Access to resources Recommend Favorite

Comparing logics for rewriting: rewriting logic, action calculi and tile logic

By Gadducci F.   Montanari U.  

Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. : 319-358

Elsevier

Access to resources Recommend Favorite