Categorical interpretation of logical derivations and its applications in algebra

DOI10.1007/S10958-010-0002-2MaRDI QIDQ2452950zbMATH OpenOpenAlexFDO

Authors Antoine C. El Khoury, L. Méhats, M. Spivakovsky, Serguei V. Solov'ev

Publication date 6 June 2014

Published in Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10958-010-0002-2

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Categorical logic, topoi (03G30) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• Algebra of proofs
• Proof theory in the abstract
• Proof-theoretical coherence
• On some connections between logic and category theory
• scientific article; zbMATH DE number 5000963

Cites work

• scientific article; zbMATH DE number 4055576 (Why is no real title available?)
• scientific article; zbMATH DE number 1358710 (Why is no real title available?)
• scientific article; zbMATH DE number 3316072 (Why is no real title available?)
• scientific article; zbMATH DE number 3341269 (Why is no real title available?)
• scientific article; zbMATH DE number 3384259 (Why is no real title available?)
• scientific article; zbMATH DE number 3385865 (Why is no real title available?)
• A generalization of the functorial calculus
• Closed categories and the theory of proofs
• Coherence and non-commutative diagrams in closed categories
• Coherence in SMCCs and equivalences on derivations in IMML with unit
• Deductive systems and categories
• On categorical equivalence of Gentzen-style derivations in IMLL
• On natural transformations of distinguished functors and their superpositions in certain closed categories
• On the conditions of full coherence in closed categories
• Proof of a conjecture of S. Mac Lane

Cited in

(4)

• Algebra of proofs
• scientific article; zbMATH DE number 67034 (Why is no real title available?)
• Proof theory in the abstract
• Generality of proofs and its Brauerian representation

This page was built for publication: Categorical interpretation of logical derivations and its applications in algebra

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