Journal of Philosophical Logic 50 (4):727-754 (2021)
| Authors |
|
| 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.
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| ISBN(s) | |
| DOI | 10.1007/s10992-020-09583-4 |
| Options |
Mark as duplicate
Export citation
|
Download options
References found in this work BETA
Entailment: The Logic of Relevance and Necessity.Alan Ross Anderson - 1975 - Princeton University Press.
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.
View all 16 references / Add more references
Citations of this work BETA
No citations found.
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 - Elsevier, Academic Press.
Analytics
Added to PP index
2021-05-10
Total views
6 ( #1,113,643 of 2,462,160 )
Recent downloads (6 months)
6 ( #119,443 of 2,462,160 )
2021-05-10
Total views
6 ( #1,113,643 of 2,462,160 )
Recent downloads (6 months)
6 ( #119,443 of 2,462,160 )
How can I increase my downloads?
Downloads
