RT info:eu-repo/semantics/article
T1 Selecting the Class of All 3-Valued Implicative Expansions of Kleene's Strong Logic Containing Routley and Meyer's Logic B
A1 Robles Vázquez, Gemma
A1 López, Sandra M.
A2 Logica y Filosofia de la Ciencia
K1 Filosofía
K1 Lógica
K1 3-valued logic
K1 Kleene’s strong 3-valued logic
K1 Belnap-Dunn ‘two-valued’ semantics
K1 Routley-Meyer’s logic B
K1 Implicative logics
AB We define all implicative expansions of Kleene's strong 3-valued matrix (with both only one and two designated values) verifying Routley and Meyer's basic logic B. Then, the logics determined by each one of these implicative expansions are axiomatized by using a Belnap-Dunn "two-valued" semantics. This semantics is "overdetermined" in the case of two designated values, and "underdetermined" when there is only one.
PB Peeters Publishers
LK https://hdl.handle.net/10612/18228
UL https://hdl.handle.net/10612/18228
NO Robles, G., López, S. M. (2020). Selecting the Class of All 3-Valued Implicative Expansions of Kleene’s Strong Logic Containing Routley and Meyer’s Logic B. Logique et Analyse, 252, 443–464. https://doi.org/10.2143/LEA.252.0.3289034
DS BULERIA. Repositorio Institucional de la Universidad de León
RD 02-jun-2024