scientific article; zbMATH DE number 7715469

zbMATH Open1524.03052MaRDI QIDQ6173572FDOQ6173572

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

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

coherencefunctoradjunctioncut eliminationisomorphismnatural 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)

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)