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

Peirce's Rule in Natural Deduction

By Zimmermann E.  

Theoretical Computer Science, Vol. 275, Iss. 1, 2002-03 ,pp. : 561-574

Elsevier

Access to resources Recommend Favorite

Least and greatest fixed points in intuitionistic natural deduction

By Uustalu  

Theoretical Computer Science, Vol. 272, Iss. 1, 2002-02 ,pp. : 315-339

Elsevier

Access to resources Recommend Favorite

Intuitionistic and classical natural deduction systems with the catch and the throw rules

By Sato M.  

Theoretical Computer Science, Vol. 175, Iss. 1, 1997-03 ,pp. : 75-92

Elsevier

Access to resources Recommend Favorite

Erratum to: ''Conjunctive partial deduction: foundations, control, algorithms and experiments'' [The Journal of Logic Programming 41 (1999) 231]

By De Schreye D.   Gluck R.   Jorgensen J.   Leuschel M.   Martens B.   Sorensen M.H.  

The Journal of Logic Programming, Vol. 43, Iss. 3, 2000-06 ,pp. : 265-265

Elsevier

Access to resources Recommend Favorite