On proof normalization in linear logic

By Perrier G.  

Theoretical Computer Science, Vol. 206, Iss. 1, 1998-10 ,pp. : 353-354

Elsevier

Access to resources Recommend Favorite

Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic

By Okada M.  

Theoretical Computer Science, Vol. 227, Iss. 1, 1999-09 ,pp. : 333-396

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

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

Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus

By Gørtz I.L.  

LISP and Symbolic Computation, Vol. 16, Iss. 3, 2003-09 ,pp. : 253-285

Springer Publishing Company

Access to resources Recommend Favorite