A Local System for Classical Logic

DOI10.1007/3-540-45653-8_24MaRDI QIDQ2996175zbMATH OpenOpenAlexFDO

Authors Kai Brünnler, Alwen Tiu

Publication date 6 May 2011

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45653-8_24

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Logic in computer science (03B70)

Recommendations

• A Local System for Intuitionistic Logic
• scientific article; zbMATH DE number 1980939
• Locality for classical logic
• Local possibilistic logic
• A proof system for classical logic
• scientific article; zbMATH DE number 1916675
• scientific article; zbMATH DE number 522843
• A logical theory of localization
• scientific article; zbMATH DE number 1341465
• scientific article; zbMATH DE number 67022

Cited in

(34)

• Enumerating Independent Linear Inferences
• The canonical pairs of bounded depth Frege systems
• Locality for classical logic
• A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
• Deep inference and expansion trees for second-order multiplicative linear logic
• scientific article; zbMATH DE number 2134914 (Why is no real title available?)
• scientific article; zbMATH DE number 1341465 (Why is no real title available?)
• System NEL is undecidable
• Deep inference and symmetry in classical proofs
• Extension without cut
• Intermutation
• On the Power of Substitution in the Calculus of Structures
• On linear rewriting systems for Boolean logic and some applications to proof theory
• A deep quantitative type system
• scientific article; zbMATH DE number 1980939 (Why is no real title available?)
• Intuitionistic BV
• A Local System for Intuitionistic Logic
• scientific article; zbMATH DE number 7204450 (Why is no real title available?)
• Deep sequent systems for modal logic
• A deep inference system for differential linear logic
• Exponentially handsome proof nets and their normalization
• The explosion calculus
• A strictly linear subatomic proof system
• A Subatomic Proof System for Decision Trees
• A propositional cirquent calculus for computability logic.
• Constructing weak simulations from linear implications for processes with private names
• MELL in the calculus of structures
• The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
• Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic
• scientific article; zbMATH DE number 4152550 (Why is no real title available?)
• An Analytic Propositional Proof System on Graphs
• Spinal atomic \(\lambda\)-calculus
• Combinatorial flows as bicolored atomic flows
• On structuring proof search for first order linear logic

This page was built for publication: A Local System for Classical Logic

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