RT info:eu-repo/semantics/article
T1 Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
A1 Robles Vázquez, Gemma
A1 Méndez Rodríguez, José Manuel
A2 Logica y Filosofia de la Ciencia
K1 Filosofía
K1 Lógica
K1 Kleene’s strong 3-valued matrix
K1 Natural conditionals
K1 3-valued logics
K1 Paraconsistent logics
K1 Logic of paradox
K1 Belnap-Dunn
AB 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.)
PB Taylor & Francis
LK http://hdl.handle.net/10612/12990
UL http://hdl.handle.net/10612/12990
NO 27 p.
DS BULERIA. Repositorio Institucional de la Universidad de León
RD 26-abr-2024