Basic Quasi-Boolean Expansions of Relevance Logics
Journal of Philosophical Logic 50 (4):727-754 (2021)
Abstract
The basic quasi-Boolean 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.Author Profiles
DOI
10.1007/s10992-020-09583-4
My notes
Similar books and articles
Relevance logics and intuitionistic negation.José M. Méndez & Gemma Robles - 2008 - Journal of Applied Non-Classical Logics 18 (1):49-65.
Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation.José M. Méndez & Gemma Robles - 2007 - Logic and Logical Philosophy 15 (3):175-191.
Negation introduced with the unary connective.Gemma Robles - 2009 - Journal of Applied Non-Classical Logics 19 (3):371-388.
A constructive negation for logics including TW+.Gemma Robles & José M. Méndez - 2005 - Journal of Applied Non-Classical Logics 15 (4):389-404.
A constructive negation defined with a negation connective for logics including Bp+.Gemma Robles, Francisco Salto & José M. Méndez - 2005 - Bulletin of the Section of Logic 34 (3):177-190.
A basic quasi-Boolean logic of intuitionistic character.Gemma Robles - 2020 - Journal of Applied Non-Classical Logics 30 (4):291-311.
Anderson And Belnap's Minimal Positive Logic With Minimal Negation.J. Mendez, F. Salto & G. Robles - 2002 - Reports on Mathematical Logic 36:117-130.
The basic constructive logic for negation-consistency.Gemma Robles - 2008 - Journal of Logic, Language and Information 17 (2):161-181.
The basic constructive logic for a weak sense of consistency.Gemma Robles & José M. Méndez - 2008 - Journal of Logic, Language and Information 17 (1):89-107.
The basic constructive logic for absolute consistency.José M. Méndez & Gemma Robles - 2009 - Journal of Logic, Language and Information 18 (2):199-216.
Converse Ackermann property and constructive negation defined with a negation connective.Gemma Robles & José M. Méndez - 2006 - Logic and Logical Philosophy 15 (2):113-130.
Relevance Logics, Paradoxes Of Consistency And The K Rule Ii.José Méndez & Gemma Robles - 2006 - Logic and Logical Philosophy 15:175-191.
A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3DH.Gemma Robles & José M. Méndez - 2021 - Journal of Logic, Language and Information 30 (1):117-138.
The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant.Gemma Robles - 2008 - Logic Journal of the IGPL 16 (3):275-291.
Routley-Meyer ternary relational semantics for intuitionistic-type negations.Gemma Robles & José M. Méndez - 2018 - London, United Kingdom: Elsevier, Academic Press.
Analytics
Added to PP
2021-05-10
Downloads
10 (#890,548)
6 months
3 (#227,001)
2021-05-10
Downloads
10 (#890,548)
6 months
3 (#227,001)
Historical graph of downloads
Author Profiles
References found in this work
Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview.
Natural 3-valued logics—characterization and proof theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.
Algebraic Methods in Philosophical Logic.J. Michael Dunn & Gary M. Hardegree - 2003 - Bulletin of Symbolic Logic 9 (2):231-234.