scientific article; zbMATH DE number 2152687
From MaRDI portal
Publication:4664255
zbMath1061.03072MaRDI QIDQ4664255
Elaine Pimentel, Dale A. Miller
Publication date: 5 April 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
linear logicForum presentationobject-level encodingsobject-level proof systemssequent calculus proof systems
Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (3)
Focusing in Linear Meta-logic ⋮ Specifying Proof Systems in Linear Logic with Subexponentials ⋮ A framework for proof systems
This page was built for publication:
