scientific article; zbMATH DE number 1950250

MaRDI QIDQ4412848zbMATH OpenFDO

Authors Elaine Pimentel, Dale Miller

Publication date 17 July 2003

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

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)

Recommendations

• scientific article; zbMATH DE number 2152687
• On the Specification of Sequent Systems
• A framework for proof systems
• A formal framework for specifying sequent calculus proof systems
• Focusing in Linear Meta-logic

Cited in

(19)

• Encoding transition systems in sequent calculus
• A formal framework for specifying sequent calculus proof systems
• A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
• A fresh view of linear logic as a logical framework
• Mechanizing focused linear logic in Coq
• Finite-valued semantics for canonical labelled calculi
• Formalized meta-theory of sequent calculi for linear logics
• Sufficient conditions for cut elimination with complexity analysis
• Reasoning about resources and information: a linear logic approach
• Focusing in Linear Meta-logic
• scientific article; zbMATH DE number 1231524 (Why is no real title available?)
• scientific article; zbMATH DE number 1231695 (Why is no real title available?)
• Sequent systems for compact bilinear logic
• scientific article; zbMATH DE number 2152687 (Why is no real title available?)
• A focused linear logical framework and its application to metatheory of object logics
• Specifying proof systems in linear logic with subexponentials
• On the Specification of Sequent Systems
• A framework for proof systems
• Towards a semantic characterization of cut-elimination

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4412848)