Geodesic
Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B
Bulletin of the Section of Logic, Tome 51 (2022) no. 1, pp. 27-56.

Voir la notice de l'article provenant de la source Library of Science

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 specifically 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.
Keywords: Ternary relational semantics, relevant logics, 4-valued logics, Routley and Meyer's logic B, 4-valued quasi-relevant logics 
@article{BSL_2022_51_1_a0,
     author = {L\'opez, Sandra M.},
     title = {Ternary {Relational} {Semantics} for the {Variants} of {BN4} and {E4} which {Contain} {Routley} and {Meyer's} {Logic} {B}},
     journal = {Bulletin of the Section of Logic},
     pages = {27--56},
     publisher = {mathdoc},
     volume = {51},
     number = {1},
     year = {2022},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2022_51_1_a0/}
}
TY  - JOUR
AU  - López, Sandra M.
TI  - Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B
JO  - Bulletin of the Section of Logic
PY  - 2022
SP  - 27
EP  - 56
VL  - 51
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2022_51_1_a0/
LA  - en
ID  - BSL_2022_51_1_a0
ER  - 
%0 Journal Article
%A López, Sandra M.
%T Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B
%J Bulletin of the Section of Logic
%D 2022
%P 27-56
%V 51
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2022_51_1_a0/
%G en
%F BSL_2022_51_1_a0
López, Sandra M. Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B. Bulletin of the Section of Logic, Tome 51 (2022) no. 1, pp. 27-56. http://geodesic.mathdoc.fr/item/BSL_2022_51_1_a0/

[1] A. R. Anderson, N. D. Belnap, Entailment: The Logic of Relevance and Necessity, vol. I, Princeton University Press (1975).

[2] A. R. Anderson, N. D. Belnap, J. M. Dunn, Entailment: The Logic of Relevance and Necessity, vol. II, Princeton University Press (1992).

[3] R. T. Brady, Completeness proofs for the systems RM3 and BN4, Logique et Analyse, vol. 25 (1982), pp. 9–32.

[4] R. T. Brady (ed.), Relevant Logics and their Rivals, vol. II, Ashgate (2003).

[5] R. T. Brady, Universal Logic, CSLI (2006).

[6] S. M. López, Belnap-Dunn semantics for the variants of BN4 and E4 which contain Routley and Meyer’s logic B, Logic and Logical Philosophy, (Online First), pp. 1–28 | DOI

[7] R. K. Meyer, S. Giambrone, R. T. Brady, Where Gamma fails, Studia Logica, vol. 43 (1984), pp. 247–256 | DOI

[8] H. Omori, H. Wansing, 40 years of FDE: An Introductory Overview, Studia Logica, vol. 105 (2017), pp. 1021–1049 | DOI

[9] G. Robles, J. M. Blanco, S. M. López, J. R. Paradela, M. M. Recio, Relational Semantics for the 4-valued relevant logics BN4 and E4, Logic and Logical Philosophy, vol. 25(2) (2016), pp. 173–201 | DOI

[10] G. Robles, J. M. Méndez, A companion to Brady’s 4-valued relevant logic BN4: The 4-valued logic of entailment E4, Logic Journal of the IGLP, vol. 24(5) (2016), pp. 838–858 | DOI

[11] R. Routley, V. Plumwood, R. K. Meyer, R. T. Brady, Relevant Logics and their Rivals, vol. I, Ridgeview (1982).

[12] J. K. Slaney, Relevant Logic and Paraconsistency, [in:] L. Bertossi, A. Hunter, T. Schaub (eds.), Inconsistency Tolerance, vol. 3300 of Lecture Notes in Computer Science, Springer (2005), pp. 270–293 | DOI

[13] R. Sylvan, V. Plumwood, Non-normal relevant logics, [in:] R. T. Brady (ed.), Relevant Logics and their Rivals, vol. II, Western Philosophy Series, Ashgate, Aldershot and Burlington (2003), pp. 10–16.