2024-03-29T07:34:30Zhttp://buleria.unileon.es/oai/requestoai:buleria.unileon.es:10612/129902024-03-04T12:38:16Zcom_10612_17col_10612_18
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
Robles Vázquez, Gemma
Méndez Rodríguez, José Manuel
Logica y Filosofia de la Ciencia
Filosofía
Lógica
27 p.
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.)
2021-03-17T10:25:09Z
2021-03-17T10:25:09Z
info:eu-repo/semantics/article
http://hdl.handle.net/10612/12990
https://doi.org/10.1080/11663081.2018.1534487
FFI2017-82878-P
info:eu-repo/semantics/openAccess
Taylor & Francis