RT info:eu-repo/semantics/article
T1 The Class of All Natural Implicative Expansions of Kleene’s Strong Logic Functionally Equivalent to Łukasiewicz’s 3-Valued Logic Ł3
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 Many-valued logic
K1 3-valued logic
K1 Kleene’s strong logic
K1 Łukasiewicz’s 3-valued logic
K1 Functional equivalence
K1 Natural conditionals
AB 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).
PB Springer
LK http://hdl.handle.net/10612/12992
UL http://hdl.handle.net/10612/12992
NO 25 p.
DS BULERIA. Repositorio Institucional de la Universidad de León
RD 27-abr-2024