FLAP Journal 2023 Journal Article
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.
- José Miguel Blanco
- Sandra M. López
- Marcos M. Recio
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 log- ics 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.