, Volume 98, Issue 3, pp 429-443
Date: 12 Aug 2011

Paraconsistency in Categories: Case of Relevance Logic

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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.