Paraconsistency in categories: case of relevance logic. (English) Zbl 1248.03041
Summary: A category-theoretic semantics for 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 special endofunctors) in the category of sets. The completeness of the relevant system R of entailment is proved with respect to the semantics considered.
MSC:
03B47 | Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) |
03B53 | Paraconsistent logics |
03G30 | Categorical logic, topoi |
18B25 | Topoi |
Keywords:
relevant algebra; RN-categories; topos of functors; interpretation of relevance logic in a topos; completeness of logic RLReferences:
[1] | Goldblatt, R., Topoi. The categorial analysis of logic, North-Holland, Amsterdam, N.Y., Oxford, 1979. |
[2] | Maksimova L.L.: ’Structures with implication’. Algebra i Logika 12(4), 445–467 (1973) (in Russian) · Zbl 0301.02065 · doi:10.1007/BF02218573 |
[3] | Mortensen C.: Inconsistent Mathematics. Kluwer Academic Publishers, Dordrecht (1995) · Zbl 0827.03013 |
[4] | Patterson A., Costello T.: ’Exponentials as Projections from Paraconsistent Logics’. In: Batens, D., Mortensen, C., Priest, G., van Bendegem, J.-P. (eds) Frontiers of Paraconsistent Logic., pp. 209–222. Research Studies Press Ltd., Baldock, Hartfordshire, England (2000) · Zbl 0993.03035 |
[5] | Riscos A., L.M. Laita: ’N-categories in logic’. Zeitschr. Math. Log. Grundl. Math. 33, 507–516 (1987) · doi:10.1002/malq.19870330605 |
[6] | Routley, R., R. K. Meyer, M. Plumwood, and R. Brady, Relevant Logic and Their Rivals, Ridgeway, 1983. |
[7] | Urquhart A.: ’Duality for Algebras of Relevant Logics’. Studia Logica 56(1-2), 263–276 (1996) · Zbl 0844.03032 · doi:10.1007/BF00370149 |
[8] | Vasyukov, V. L., ’RN-categories for Relevance Logics’, Logical Investigations, vol. 1, Moscow, 1993, pp. 124–132 (in Russian). |
[9] | Vasyukov V. L.: ’Paraconsistency in Categories’. In: Batens, D., Mortensen, C., Priest, G., van Bendegem, J.-P. (eds) Frontiers of Paraconsistent Logic., pp. 263–278. Research Studies Press Ltd., Baldock, Hartfordshire, England (2000) · Zbl 0993.03037 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.