Order-enriched categorical models of the classical sequent calculus

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

zbMATH Keywords

contraction; categorical models; categorical semantics; classical sequent calculus; weakening

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

03F05: Cut-elimination and normal-form theorems

03B05: Classical propositional logic

Related Items

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