Paraconsistency in Categories: Case of Relevance Logic
- First Online:
- 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.