Categorical interpretation of logical derivations and its applications in algebra
From MaRDI portal
Publication:2452950
DOI10.1007/s10958-010-0002-2zbMath1288.03029MaRDI QIDQ2452950
Mark Spivakovsky, Serguei V. Solov'ev, Antoine C. El Khoury, L. Méhats
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
03G30: Categorical logic, topoi
03F03: Proof theory in general (including proof-theoretic semantics)
18A15: Foundations, relations to logic and deductive systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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