Order-enriched categorical models of the classical sequent calculus

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

zbMATH Keywords

contractioncategorical modelscategorical semanticsclassical sequent calculusweakening

Mathematics Subject Classification ID

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