2026-09-15T22:29:41Zhttps://gredos.usal.es/oai/request

oai:gredos.usal.es:10366/1555542024-02-09T01:01:58Zcom_10366_4432com_10366_4395com_10366_3946com_10366_3823col_10366_4433

López Velasco, Sandra María 2024-02-08T10:55:29Z 2024-02-08T10:55:29Z 2022 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 0138-0680 http://hdl.handle.net/10366/155554 10.18778/0138-0680.2021.16 2449-836X [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. application/pdf Español eng Attribution-NonCommercial-NoDerivatives 4.0 Internacional http://creativecommons.org/licenses/by-nc-nd/4.0/ info:eu-repo/semantics/openAccess Ternary relational semantics 4-valued logics Routley and Meyer's logic B 4-valued quasi-relevant logics Relevant logics 11 Lógica Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Bulletin of the Section of Logic 51 1 27 56