Back to Search
Start Over
Basic Quasi-Boolean Expansions of Relevance Logics.
- Source :
-
Journal of Philosophical Logic . Aug2021, Vol. 50 Issue 4, p727-754. 28p. - Publication Year :
- 2021
-
Abstract
- The basic quasi-Boolean negation (QB-negation) expansions of relevance logics included in Anderson and Belnap's relevance logic R are defined. We consider two types of QB-negation: H-negation and D-negation. The former one is of paraintuitionistic or superintuitionistic character, the latter one, of dual intuitionistic nature in some sense. Logics endowed with H-negation are paracomplete; logics with D-negation are paraconsistent. All logics defined in the paper are given a Routley-Meyer ternary relational semantics. [ABSTRACT FROM AUTHOR]
- Subjects :
- *KRIPKE semantics
*LOGIC
*NEGATION (Logic)
Subjects
Details
- Language :
- English
- ISSN :
- 00223611
- Volume :
- 50
- Issue :
- 4
- Database :
- Academic Search Index
- Journal :
- Journal of Philosophical Logic
- Publication Type :
- Academic Journal
- Accession number :
- 151542187
- Full Text :
- https://doi.org/10.1007/s10992-020-09583-4