Categorical interpretation of logical derivations and its applications in algebra

DOI10.1007/s10958-010-0002-2zbMath1288.03029OpenAlexW1971071503MaRDI QIDQ2452950

Antoine C. El Khoury, L. Méhats, Mark 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

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

Cites Work

• On natural transformations of distinguished functors and their superpositions in certain closed categories
• On the conditions of full coherence in closed categories
• Closed categories and the theory of proofs
• Proof of a conjecture of S. Mac Lane
• On categorical equivalence of Gentzen-style derivations in IMLL
• Coherence in SMCCs and equivalences on derivations in IMML with unit
• A generalization of the functorial calculus
• Coherence and non-commutative diagrams in closed categories
• Deductive systems and categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item