Categorical interpretation of logical derivations and its applications in algebra

DOI10.1007/S10958-010-0002-2zbMATH Open1288.03029OpenAlexW1971071503MaRDI QIDQ2452950FDOQ2452950

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

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

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)

Cites Work

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

Cited In (4)

• Algebra of proofs
• Title not available (Why is that?)
• 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)