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

Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic

By Polakow J.   Pfenning F.  

Electronic Notes in Theoretical Computer Science, Vol. 20, Iss. 1, 2004-01 ,pp. : 1-18

Elsevier

Access to resources Recommend Favorite

Knowledge Discovery from Decision Tables by the Use of Multiple-Valued Logic

By Adams K.J.  

Artificial Intelligence Review, Vol. 19, Iss. 2, 2003-04 ,pp. : 153-176

Springer Publishing Company

Access to resources Recommend Favorite

Interval logics and their decision procedures - Part II: a real-time interval logic

By Ramakrishna Y.S.   Melliar-Smith P.M.   Moser L.E.   Dillon L.K.   Kutty G.  

Theoretical Computer Science, Vol. 170, Iss. 1, 1996-12 ,pp. : 1-46

Elsevier

Access to resources Recommend Favorite

Interval logics and their decision procedures - Part I: An interval logic

By Ramakrishna Y.S.   Melliar-Smith P.M.   Moser L.E.   Dillon L.K.   Kutty G.  

Theoretical Computer Science, Vol. 166, Iss. 1, 1996-10 ,pp. : 1-47

Elsevier

Access to resources Recommend Favorite