Order-enriched categorical models of the classical sequent calculus
From MaRDI portal
Publication:2576913
DOI10.1016/j.jpaa.2005.03.016zbMath1081.03068MaRDI QIDQ2576913
Carsten Führmann, David J. Pym
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
03G30: Categorical logic, topoi
03F05: Cut-elimination and normal-form theorems
03B05: Classical propositional logic
Related Items
Towards Hilbert's 24th Problem: Combinatorial Proof Invariants, On categorical models of classical logic and the Geometry of Interaction, Classical proof forestry, Categorical proof theory of classical propositional calculus
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