Compartir
Título
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
Autor
Facultad/Centro
Área de conocimiento
Título de la revista
Journal of Applied Non-Classical Logics
Número de la revista
1
Editor
Taylor & Francis
Fecha
2019-01
Abstract
A conditional is natural if it fulfils the three following conditions. (1) It coincides with the classical conditional when restricted to the classical values T and F; (2) it satisfies the Modus Ponens; and (3) 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. (We understand the notion ‘natural conditional’ according to N. Tomova, ‘A lattice of implicative extensions of regular Kleene's logics’, Reports on Mathematical Logic, 47, 173–182, 2012.)
Materia
Palabras clave
Peer review
SI
ID proyecto
- FFI2017-82878-P
URI
DOI
Collections
- Untitled [2890]
Files in this item
Tamaño:
821.8
xmlui.dri2xhtml.METS-1.0.size-kilobytes
Formato:
Adobe PDF
Descripción:
Artículo principal