Compartir
Título
Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B
Autor(es)
Materia
Ternary relational semantics
4-valued logics
Routley and Meyer's logic B
4-valued quasi-relevant logics
Relevant logics
Clasificación UNESCO
11 Lógica
Fecha de publicación
2022
Citación
López Velasco, S.M. (2022). Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B. Bulletin of the Section of Logic, 51(1), 27-56. https://doi.org/10.18778/0138-0680.2021.16
Resumen
[EN]Six interesting variants of the logics BN4 and E4|which can be considered as the
4-valued logics of the relevant conditional and (relevant) entailment, respectively|
were previously developed in the literature. All these systems are related to the
family of relevant logics and contain Routley and Meyer's basic logic B, which
is well-known to be speci cally associated with the ternary relational semantics.
The aim of this paper is to develop reduced general Routley-Meyer semantics for
them. Strong soundness and completeness theorems are proved for each one of
the logics.
URI
ISSN
0138-0680
DOI
10.18778/0138-0680.2021.16
Colecciones
Ficheros en el ítem
Excepto si se señala otra cosa, la licencia del ítem se describe como Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Ítems relacionados
Mostrando ítems relacionados por Título, autor o materia.
-
-
Una lógica multiagente para nociones epistemológicas básicas: creencia, conocimiento y justificación
Yuste Ginel, Antonio (2017-06)Trabajo fin de máster -