Journal of Philosophical Logic 50 (4):727-754 (2021)

Authors
Gemma Robles
Universidad de León
José M. Méndez
Universidad de Salamanca
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,599
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Universal Logic.Ross Brady - 2006 - CSLI Publications.
Natural 3-Valued Logics—Characterization and Proof Theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.
Universal Logic.Ross Brady - 2007 - Bulletin of Symbolic Logic 13 (4):544-547.

View all 16 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

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.
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 Basic Quasi-Boolean Logic of Intuitionistic Character.Gemma Robles - 2020 - Journal of Applied Non-Classical Logics 30 (4):291-311.
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.
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.

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 )

How can I increase my downloads?

Downloads

My notes