Paraconsistency in categories: case of relevance logic

DOI10.1007/s11225-011-9342-2zbMath1248.03041OpenAlexW1965238318MaRDI QIDQ763325

Vladimir L. Vasyukov

Publication date: 9 March 2012

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-011-9342-2

zbMATH Keywords

completeness of logic RLinterpretation of relevance logic in a toposrelevant algebraRN-categoriestopos of functors

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items (3)

On a paraconsistentization functor in the category of consequence structures ⋮ Univalent Foundations of Mathematics and Paraconsistency ⋮ On Metalogical Relativism

Cites Work

• Implication lattices
• Duality for algebras of relevant logics
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Paraconsistency in categories: case of relevance logic