Proof Nets for Classical Logic

DOI10.1093/logcom/13.5.777zbMath1036.03037OpenAlexW2015626965MaRDI QIDQ4444939

Edmund P. Robinson

Publication date: 28 January 2004

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/13.5.777

zbMATH Keywords

correctnesssequent calculusclassical logicproof net

Mathematics Subject Classification ID

Structure of proofs (03F07)

Related Items

Categorical proof theory of classical propositional calculus ⋮ Complementary proof nets for classical logic ⋮ Structural Rules in Natural Deduction with Alternatives ⋮ Classical proof forestry ⋮ Proof nets for classical logic ⋮ Towards Hilbert's 24th Problem: Combinatorial Proof Invariants ⋮ Normal proofs, cut free derivations and structural rules ⋮ Proof Transformations and Structural Invariance ⋮ On categorical models of classical logic and the Geometry of Interaction ⋮ Unnamed Item ⋮ Order-enriched categorical models of the classical sequent calculus ⋮ On the Computational Representation of Classical Logical Connectives