Categorical interpretation of logical derivations and its applications in algebra

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

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

03F03: Proof theory in general (including proof-theoretic semantics)

18A15: Foundations, relations to logic and deductive systems