Skip to main content
SpringerLink
Log in

Paraconsistency in Categories: Case of Relevance Logic

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  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)

    Google Scholar 

  3. Mortensen C.: Inconsistent Mathematics. Kluwer Academic Publishers, Dordrecht (1995)

    Google Scholar 

  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)

    Google Scholar 

  5. Riscos A., L.M. Laita: ‘N-categories in logic’. Zeitschr. Math. Log. Grundl. Math. 33, 507–516 (1987)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Philosophy, Russian Academy of Science, Volkhonka 14, 119991, Moscow, Russia

    Vladimir L. Vasyukov

Authors
  1. Vladimir L. Vasyukov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Vladimir L. Vasyukov.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Vasyukov, V.L. Paraconsistency in Categories: Case of Relevance Logic. Stud Logica 98, 429–443 (2011). https://doi.org/10.1007/s11225-011-9342-2

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-011-9342-2

Keywords

Search

Navigation