2024-03-29T14:39:08Zhttp://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
Filosofía
Lógica
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).
2021-03-17
2021-03-17
info:eu-repo/semantics/article
http://hdl.handle.net/10612/12992
https://doi.org/10.1007/s10849-019-09306-2
FFI2017-82878-P
info:eu-repo/semantics/openAccess
Springer