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

Categories

Keywords

Reprint years

DOI

10.1007/s11225-011-9342-2

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

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

Through your library

My notes

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.
Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency.Gemma Robles & José M. Méndez - 2009 - Journal of Logic, Language and Information 18 (3):357-402.
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.
Between Logic and Mathematics: Al-Kindī's Approach to the Aristotelian Categories.Ahmad Ighbariah - 2012 - Arabic Sciences and Philosophy 22 (1):51-68.
Relevant identity.Philip Kremer - 1999 - Journal of Philosophical Logic 28 (2):199-222.
Alternative semantics for quantified first degree relevant logic.Richard Routley - 1979 - Studia Logica 38 (2):211 - 231.
Order algebras as models of linear logic.Constantine Tsinakis & Han Zhang - 2004 - Studia Logica 76 (2):201 - 225.
Parallel interpolation, splitting, and relevance in belief change.George Kourousias & David Makinson - 2007 - Journal of Symbolic Logic 72 (3):994-1002.
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
84 (#196,199)

6 months
10 (#257,583)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Vladimir Vasyukov
Russian Academy of Sciences

Citations of this work

Add more citations

References found in this work

Duality for algebras of relevant logics.Alasdair Urquhart - 1996 - Studia Logica 56 (1-2):263 - 276.
Book Reviews. [REVIEW]C. Mortensen - 2000 - Studia Logica 64 (2):285-300.
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.

Add more references