Studia Logica

, 98:429

Paraconsistency in Categories: Case of Relevance Logic


DOI: 10.1007/s11225-011-9342-2

Cite this article as:
Vasyukov, V.L. Stud Logica (2011) 98: 429. doi:10.1007/s11225-011-9342-2


Categorical-theoretic semantics for the relevance logic is proposed which is based on the construction of the topos of functors from a relevant algebra (considered as a preorder category endowed with the special endofunctors) in the category of sets Set. The completeness of the relevant system R of entailment is proved in respect to the semantic considered.


Toposes relevant algebra RN-categories topos of functors interpretation of the relevance logic in topos completeness of the logic RL 

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Institute of PhilosophyRussian Academy of ScienceMoscowRussia

Personalised recommendations