Paraconsistency in Categories: Case of Relevance Logic |
| |
Authors: | Vladimir L. Vasyukov |
| |
Affiliation: | 1.Institute of Philosophy,Russian Academy of Science,Moscow,Russia |
| |
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: | |
本文献已被 SpringerLink 等数据库收录! |
|