Minimal Negation in the Ternary Relational Semantics

, &
Reports on Mathematical Logic 39:47-65 (2005)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Constructive R.José M. Méndez - 1987 - Bulletin of the Section of Logic 16 (4):167-173.
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.
A star-free semantics for R.Edwin D. Mares - 1995 - Journal of Symbolic Logic 60 (2):579 - 590.
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.
An Argument for Minimal Logic.Nils Kürbis - 2019 - Dialectica 73 (1-2):31-63.
Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.Dimiter Vakarelov - 2005 - Studia Logica 80 (2):393-430.

Analytics

Added to PP
2015-02-12

Downloads
227 (#88,338)

6 months
80 (#60,250)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

José M. Méndez
Universidad de Salamanca
Gemma Robles
Universidad de León
Francisco Salto
Universidad de León

Citations of this work

The basic constructive logic for negation-consistency.Gemma Robles - 2008 - Journal of Logic, Language and Information 17 (2):161-181.
Negation introduced with the unary connective.Gemma Robles - 2009 - Journal of Applied Non-Classical Logics 19 (3):371-388.

Add more citations

References found in this work

Four-valued semantics for relevant logics (and some of their rivals).Greg Restall - 1995 - Journal of Philosophical Logic 24 (2):139 - 160.

Add more references