Order-enriched categorical models of the classical sequent calculus
From MaRDI portal
Publication:2576913
DOI10.1016/j.jpaa.2005.03.016zbMath1081.03068OpenAlexW2051450758MaRDI QIDQ2576913
David J. Pym, Carsten Führmann
Publication date: 29 December 2005
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jpaa.2005.03.016
Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05)
Related Items (5)
Categorical proof theory of classical propositional calculus ⋮ Classical proof forestry ⋮ Towards Hilbert's 24th Problem: Combinatorial Proof Invariants ⋮ On categorical models of classical logic and the Geometry of Interaction ⋮ The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- Weakly distributive categories
- Natural deduction and coherence for weakly distributive categories
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- The structure of multiplicatives
- Untersuchungen über das logische Schliessen. I
- Axioms for recursion in call-by-value
- Control categories and duality: on the categorical semantics of the lambda-mu calculus
- Proof Nets for Classical Logic
- On the semantics of classical disjunction
- Proof theory in the abstract
This page was built for publication: Order-enriched categorical models of the classical sequent calculus