A categorical equivalence of proofs
From MaRDI portal
Publication:2265425
DOI10.1305/ndjfl/1093891297zbMath0275.02033OpenAlexW2029507159MaRDI QIDQ2265425
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
Decidability of theories and sets of sentences (03B25) General logic (03B99) Proof theory and constructive mathematics (03F99)
Related Items
Closed categories and the theory of proofs, Polycategories, Quantifier-complete categories, Coherence in Cartesian closed categories and the generality of proofs, Unnamed Item, The category of finite sets and Cartesian closed categories, The structure of free closed categories
