Reports on Mathematical Logic 39:47-65 (2005)
| Authors |
|
| Abstract |
Minimal Negation is defined within the basic positive relevance logic in the relational ternary semantics: B+. Thus, by defining a number of subminimal negations in the B+ context, principles of weak negation are shown to be isolable. Complete ternary semantics are offered for minimal negation in B+. Certain forms of reductio are conjectured to be undefinable (in ternary frames) without extending the positive logic. Complete semantics for such kinds of reductio in a properly extended positive logic are offered.
|
| Keywords | Minimal negation B relevance logic Positive negation |
| Categories | (categorize this paper) |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Minimal Negation in the Ternary Relational Semantics.G. Robles, J. Mendez & F. Salto - 2005 - Reports on Mathematical Logic:47-65.
A Constructive Negation for Logics Including TW+.Gemma Robles & José M. Méndez - 2005 - Journal of Applied Non-Classical Logics 15 (4):389-404.
Negation Introduced with the Unary Connective.Gemma Robles - 2009 - Journal of Applied Non-Classical Logics 19 (3):371-388.
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.
El Sistema Bp+ : Una Lógica Positiva Mínima Para la Negación Mínima (the System Bp+: A Minimal Positive Logic for Minimal Negation).José M. Méndez, Francisco Salto & Gemma Robles - 2007 - Theoria 22 (1):81-91.
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 and Intuitionistic Negation.José M. Méndez & Gemma Robles - 2008 - Journal of Applied Non-Classical Logics 18 (1):49-65.
Understanding Negation Implicationally in the Relevant Logic R.Takuro Onishi - 2016 - Studia Logica 104 (6):1267-1285.
Extensions of the Basic Constructive Logic for Weak Consistency BKc1 Defined with a Falsity Constant.Gemma Robles - 2007 - Logic and Logical Philosophy 16 (4):311-322.
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.
The Basic Constructive Logic for a Weak Sense of Consistency Defined with a Propositional Falsity Constant.G. Robles & J. M. Mendez - 2008 - Logic Journal of the IGPL 16 (1):33-41.
Analytics
Added to PP index
2020-03-10
Total views
47 ( #240,962 of 2,506,501 )
Recent downloads (6 months)
4 ( #170,106 of 2,506,501 )
2020-03-10
Total views
47 ( #240,962 of 2,506,501 )
Recent downloads (6 months)
4 ( #170,106 of 2,506,501 )
How can I increase my downloads?
Downloads
