A categorical equivalence of proofs

DOI10.1305/NDJFL/1093891297MaRDI QIDQ2265425zbMATH OpenOpenAlexFDO

Authors Manfred E. Szabo

Publication date 1974

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093891297

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) General logic (03B99) Proof theory and constructive mathematics (03F99)

Cited in

(9)

• Closed categories and the theory of proofs
• Quantifier-complete categories
• The category of finite sets and Cartesian closed categories
• scientific article; zbMATH DE number 4168913 (Why is no real title available?)
• Polycategories
• Deductive systems and coherence for skew prounital closed categories
• Combinatory completeness instructured multicategories
• Coherence in Cartesian closed categories and the generality of proofs
• The structure of free closed categories

This page was built for publication: A categorical equivalence of proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2265425)