Proof Nets for Classical Logic
From MaRDI portal
Publication:4444939
DOI10.1093/LOGCOM/13.5.777zbMATH Open1036.03037OpenAlexW2015626965MaRDI QIDQ4444939FDOQ4444939
Authors: 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
Recommendations
- Proof nets for classical logic
- Canonical proof nets for classical logic
- Expansion nets: proof-nets for propositional classical logic
- A proof system for classical logic
- Proof Nets for Lambek Calculus
- scientific article; zbMATH DE number 5920146
- scientific article; zbMATH DE number 517045
- scientific article; zbMATH DE number 3264937
- scientific article; zbMATH DE number 6296859
- Proof-theoretic semantics for classical mathematics
Cited In (16)
- Complementary proof nets for classical logic
- On categorical models of classical logic and the Geometry of Interaction
- What is the problem with proof nets for classical logic?
- Categorical proof theory of classical propositional calculus
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
- Structural Rules in Natural Deduction with Alternatives
- Proof Transformations and Structural Invariance
- Expansion nets: proof-nets for propositional classical logic
- Title not available (Why is that?)
- Typed Lambda Calculi and Applications
- Classical proof forestry
- Canonical proof nets for classical logic
- Order-enriched categorical models of the classical sequent calculus
- On the computational representation of classical logical connectives
- Proof nets for classical logic
- Normal proofs, cut free derivations and structural rules
This page was built for publication: Proof Nets for Classical Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4444939)
