Article

Studia Logica

, 98:429

First online:

Paraconsistency in Categories: Case of Relevance Logic

  • Vladimir L. VasyukovAffiliated withInstitute of Philosophy, Russian Academy of Science Email author 

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

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

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