Focusing in Linear Meta-logic

DOI10.1007/978-3-540-71070-7_42MaRDI QIDQ3541726zbMATH OpenOpenAlexFDO

Authors Vivek Nigam, Dale Miller

Publication date 27 November 2008

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71070-7_42

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• A framework for proof systems
• scientific article; zbMATH DE number 1950250
• Focusing and polarization in linear, intuitionistic, and classical logics
• scientific article; zbMATH DE number 2152687
• Focusing and Polarization in Intuitionistic Logic

Cites work

• scientific article; zbMATH DE number 4180832 (Why is no real title available?)
• scientific article; zbMATH DE number 4053062 (Why is no real title available?)
• scientific article; zbMATH DE number 1337625 (Why is no real title available?)
• scientific article; zbMATH DE number 1950250 (Why is no real title available?)
• scientific article; zbMATH DE number 2152687 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• A framework for defining logics
• A natural extension of natural deduction
• Analytic cut
• Focusing and Polarization in Intuitionistic Logic
• Focusing in Linear Meta-logic
• Forum: A multiple-conclusion specification logic
• Incorporating Tables into Proofs
• Logic Programming with Focusing Proofs in Linear Logic
• Logic programming in a fragment of intuitionistic linear logic
• Natural deduction with general elimination rules
• Normal natural deduction proofs (in classical logic)
• On the Specification of Sequent Systems
• Structural cut elimination. I: Intuitionistic and classical logic
• Structural proof theory. With an appendix by Aarne Ranta
• The Taming of the Cut. Classical Refutations with Analytic Cut
• The blind spot. Course in logic. I. On the perfection

Cited in

(7)

• On Lambek's restriction in the presence of exponential modalities
• scientific article; zbMATH DE number 1950250 (Why is no real title available?)
• Formalized meta-theory of sequent calculi for linear logics
• Focusing in Linear Meta-logic
• Specifying proof systems in linear logic with subexponentials
• A simplified account of the metatheory of linear LF
• A framework for proof systems

This page was built for publication: Focusing in Linear Meta-logic

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