Compartir
Título
Selecting the Class of All 3-Valued Implicative Expansions of Kleene's Strong Logic Containing Routley and Meyer's Logic B
Autor
Facultad/Centro
Área de conocimiento
Título de la revista
Logique et Analyse
Cita Bibliográfica
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
Editorial
Peeters Publishers
Fecha
2020
Resumen
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.
Materia
Palabras clave
Peer review
SI
ID proyecto
- FFI2017-82878-P
URI
DOI
Aparece en las colecciones
- Artículos [5086]
Ficheros en el ítem
Tamaño:
1.320
xmlui.dri2xhtml.METS-1.0.size-megabytes
Formato:
Adobe PDF
Descripción:
Artículo