Gemma Robles
Universidad de León
José M. Méndez
Universidad de Salamanca
ABSTRACTA conditional is natural if it fulfils the three following conditions. It coincides with the classical conditional when restricted to the classical values T and F; it satisfies the Modus Ponens; and it is assigned a designated value whenever the value assigned to its antecedent is less than or equal to the value assigned to its consequent. The aim of this paper is to provide a ‘bivalent’ Belnap-Dunn semantics for all natural implicative expansions of Kleene's strong 3-valued matrix with two designated elements.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/11663081.2018.1534487
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,811
Through your library

References found in this work BETA

Introduction to Metamathematics.Stephen Cole Kleene - 1952 - Princeton, NJ, USA: North Holland.
The Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
Paraconsistent Logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.

View all 32 references / Add more references

Citations of this work BETA

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.

View all 9 citations / Add more citations

Similar books and articles

Natural Deduction for Three-Valued Regular Logics.Yaroslav Petrukhin - 2017 - Logic and Logical Philosophy 26 (2):197–206.
Partiality and its Dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.
An Infinity of Super-Belnap Logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319 - 335.
Remarks on the Gupta-Belnap Fixed-Point Property for K-Valued Clones.José Martínez-Fernández - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):118-131.


Added to PP index

Total views
11 ( #836,415 of 2,463,176 )

Recent downloads (6 months)
1 ( #449,391 of 2,463,176 )

How can I increase my downloads?


My notes