Studia Logica

, 98:429

Paraconsistency in Categories: Case of Relevance Logic

Article

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

Abstract

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.

Keywords

Toposesrelevant algebraRN-categoriestopos of functorsinterpretation of the relevance logic in toposcompleteness of the logic RL

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Institute of PhilosophyRussian Academy of ScienceMoscowRussia