2024-03-28T13:00:21Zhttp://buleria.unileon.es/oai/requestoai:buleria.unileon.es:10612/129922024-03-04T12:38:18Zcom_10612_17col_10612_18
The Class of All Natural Implicative Expansions of Kleene’s Strong Logic Functionally Equivalent to Łukasiewicz’s 3-Valued Logic Ł3
Robles Vázquez, Gemma
Méndez Rodríguez, José Manuel
Logica y Filosofia de la Ciencia
Facultad de Filosofia y Letras
Filosofía
Lógica
Many-valued logic
3-valued logic
Kleene’s strong logic
Łukasiewicz’s 3-valued logic
Functional equivalence
Natural conditionals
25 p.
We consider the logics determined by the set of all natural implicative expansions of Kleene’s strong 3-valued matrix (with both only one and two designated values) and select the class of all logics functionally equivalent to Łukasiewicz’s 3-valued logic Ł3. The concept of a “natural implicative matrix” is based upon the notion of a “natural conditional” defined in Tomova (Rep Math Log 47:173–182, 2012).
SI
2020
2021-03-17T10:27:27Z
2021-03-17T10:27:27Z
info:eu-repo/semantics/article
info:eu-repo/semantics/acceptedVersion
http://hdl.handle.net/10612/12992
https://doi.org/10.1007/s10849-019-09306-2
eng
FFI2017-82878-P
info:eu-repo/semantics/openAccess
Springer