Coherence in Cartesian closed categories and the generality of proofs

DOI10.1007/BF00370826zbMath0714.03054OpenAlexW1993088744MaRDI QIDQ750442

Manfred E. Szabo

Publication date: 1989

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370826

zbMATH Keywords

arrows of free Cartesian closed categorycoherence problemgenerality of proofsintuitionistic propositional cut-free proofs

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Structure of proofs (03F07) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Foundations, relations to logic and deductive systems (18A15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebra of proofs
• A cut elimination theorem for stationary logic
• A categorical equivalence of proofs
• The Mathematics of Sentence Structure
• THE CONTINUOUS REALIZABILITY OF ENTAILMENT
• A Counter-Example to Coherence in Cartesian Closed Categories
• Polycategories
• Deductive systems and categories

This page was built for publication: Coherence in Cartesian closed categories and the generality of proofs