Mostrar el registro sencillo del ítem
dc.contributor.author | López Velasco, Sandra María | |
dc.date.accessioned | 2024-02-08T10:55:29Z | |
dc.date.available | 2024-02-08T10:55:29Z | |
dc.date.issued | 2022 | |
dc.identifier.citation | 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 | es_ES |
dc.identifier.issn | 0138-0680 | |
dc.identifier.uri | http://hdl.handle.net/10366/155554 | |
dc.description.abstract | [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. | es_ES |
dc.format.mimetype | application/pdf | |
dc.language | Español | |
dc.language.iso | eng | es_ES |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Ternary relational semantics | es_ES |
dc.subject | 4-valued logics | es_ES |
dc.subject | Routley and Meyer's logic B | es_ES |
dc.subject | 4-valued quasi-relevant logics | es_ES |
dc.subject | Relevant logics | es_ES |
dc.title | Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B | es_ES |
dc.type | info:eu-repo/semantics/article | es_ES |
dc.subject.unesco | 11 Lógica | es_ES |
dc.identifier.doi | 10.18778/0138-0680.2021.16 | |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es_ES |
dc.identifier.essn | 2449-836X | |
dc.journal.title | Bulletin of the Section of Logic | es_ES |
dc.volume.number | 51 | es_ES |
dc.issue.number | 1 | es_ES |
dc.page.initial | 27 | es_ES |
dc.page.final | 56 | es_ES |
dc.type.hasVersion | info:eu-repo/semantics/publishedVersion | es_ES |