scientific article; zbMATH DE number 7715469

MaRDI QIDQ6173572zbMATH OpenFDO

Authors Zoran Petrić

Publication date 21 July 2023

Full work available at URL http://elib.mi.sanu.ac.rs/files/journals/zr/26/zrn26p7-35.pdf

zbMATH Keywords

adjunctioncoherencecut eliminationfunctorisomorphismnatural transformationsequent system

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Categories and theories (18C99)

Recommendations

• scientific article; zbMATH DE number 4053582
• scientific article; zbMATH DE number 3946127
• Lambek's categorical proof theory and Läuchli's abstract realizability
• A mechanically assisted constructive proof in category theory
• Categorical proof theory of classical propositional calculus
• scientific article; zbMATH DE number 4081521
• scientific article; zbMATH DE number 663790
• A category model proof of the cogluing theorem
• Reflections on the categorical foundations of mathematics

Cited in

(1)

• A relativization mechanism in recursion categories

This page was built for publication:

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