Focusing in Linear Meta-logic

DOI10.1007/978-3-540-71070-7_42zbMath1165.03331OpenAlexW1999703197MaRDI QIDQ3541726

Vivek Nigam, Dale A. 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)

Related Items

On Lambek’s Restriction in the Presence of Exponential Modalities, Focusing in Linear Meta-logic, Specifying Proof Systems in Linear Logic with Subexponentials, A framework for proof systems

Cites Work

• Forum: A multiple-conclusion specification logic
• Logic programming in a fragment of intuitionistic linear logic
• Natural deduction with general elimination rules
• Normal natural deduction proofs (in classical logic)
• Structural cut elimination. I: Intuitionistic and classical logic
• Focusing in Linear Meta-logic
• Focusing and Polarization in Intuitionistic Logic
• Incorporating Tables into Proofs
• A natural extension of natural deduction
• Logic Programming with Focusing Proofs in Linear Logic
• A framework for defining logics
• The Taming of the Cut. Classical Refutations with Analytic Cut
• On the Specification of Sequent Systems
• Analytic cut
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item