Compartir
Título
On How the 2 Set-up Routley-Meyer Semantics are a Specific Case of the Reduced General Routley-Meyer Semantics in the Context of Some 4-valued Logics
Autor(es)
Palabras clave
Routley-Meyer Semantics
4-valued Logics
General Reduced Routley-Meyer Semantics
2 Set-up Routley-Meyer Semantics
Clasificación UNESCO
11 Lógica
Fecha de publicación
2023-01-23
Editor
College Publications
Citación
Blanco, J. M., López, S. M., & Recio, M. M. (2023). On How the 2 Set-Up Routley-Meyer Semantics Are a Specific Case of the Reduced General Routley-Meyer Semantics in the Context of Some 4-Valued Logics. Journal of Applied Logics, 10(1), 1-18.
Resumen
[EN]Routley-Meyer ternary relational semantics can be introduced for models
in different ways depending on how the set of regular elements of the model is
defined. Two of the most prominent ones are the Reduced General semantics
and the 2 Set-up semantics. On the other hand, Lti-logics are 4-valued logics
characterized by variations of the conditional of the matrices upon which
Brady’s logic BN4, and Robles and Méndez’s E4 are built. When Lti-logics are
endowed with the Reduced General semantics they conform Lti-models; when
endowed with 2 Set-up semantics, they conform 2 Set-up Lti-models. Then,
it is shown that 2 Set-up Lti-models are actually a specific case of the more
general structure that are the Lti-models.
Descripción
This work is supported by the Spanish Ministry of Science and Innovation (MCIN/AEI/
10.13039/501100011033) under Grant PID2020-116502GB-I00. Sandra’s work is co-financed by
the European NextGenerationEU Fund, Spanish “Plan de Recuperación, Transformación y Re-
silencia” Fund, Spanish Ministry of Universities, and University of Salamanca (“Ayudas para la
recualificación del sistema universitario español 2021-2022”
URI
ISBN
978-1-84890-422-4
ISSN
2631-9810
Versión del editor
Collections
Files in this item
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Related items
Showing items related by title, author, creator and subject.