scientific article; zbMATH DE number 1950250

zbMath1015.03060MaRDI QIDQ4412848

Elaine Pimentel, Dale A. Miller

Publication date: 17 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2381/23810002.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

Focusing in Linear Meta-logic, Sufficient conditions for cut elimination with complexity analysis, Specifying Proof Systems in Linear Logic with Subexponentials, A framework for proof systems, Finite-valued semantics for canonical labelled calculi, Towards a semantic characterization of cut-elimination