Paraconsistency in Categories: Case of Relevance Logic

Studia Logica 98 (3):429-443 (2011)
  Copy   BIBTEX

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Axiomatizing a category of categories.Colin McLarty - 1991 - Journal of Symbolic Logic 56 (4):1243-1260.
Relevant predication: Grammatical characterisations. [REVIEW]Philip Kremer - 1989 - Journal of Philosophical Logic 18 (4):349 - 382.
Relevant implication and the case for a weaker logic.Ross T. Brady - 1996 - Journal of Philosophical Logic 25 (2):151 - 183.
Grafted frames and S1 -completeness.Beihai Zhou - 1999 - Journal of Symbolic Logic 64 (3):1324-1338.
Relevance, relatedness and restricted set theory.Barry Smith - 1991 - In Georg Schurz & Georg Jakob Wilhelm Dorn (eds.), Advances in Scientific Philosophy. Amsterdam: Rodopi. pp. 45-56.
Relevance and paraconsistency—a new approach.Arnon Avron - 1990 - Journal of Symbolic Logic 55 (2):707-732.
From sets to types to categories to sets.Steve Awodey - 2009 - Philosophical Explorations.
Relevant identity.Philip Kremer - 1999 - Journal of Philosophical Logic 28 (2):199-222.
Evidential bilattice logic and lexical inference.Andreas Schöter - 1996 - Journal of Logic, Language and Information 5 (1):65-105.

Analytics

Added to PP
2011-08-12

Downloads
85 (#202,687)

6 months
9 (#352,597)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Vladimir Vasyukov
Russian Academy of Sciences

References found in this work

Duality for algebras of relevant logics.Alasdair Urquhart - 1996 - Studia Logica 56 (1-2):263 - 276.
N‐Categories in Logic.Agustin Riscos & Luis M. Laita - 1987 - Mathematical Logic Quarterly 33 (6):507-516.
N-Categories in Logic.Agustin Riscos & Luis M. Laita - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (6):507-516.
Book Reviews. [REVIEW]C. Mortensen - 2000 - Studia Logica 64 (2):285-300.

Add more references