Compartir
Título
Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B
Autor(es)
Assunto
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
Aparece en las colecciones
Arquivos deste item
Exceto quando indicado o contrário, a licença deste item é descrito como Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Itens relacionados
Apresentado os itens relacionados pelo título, autor e assunto.
-
-
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 -