Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B

• Autorzy: Sandra M. López

Abstrakty

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 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.

Słowa kluczowe

EN

Ternary relational semantics; relevant logics; 4-valued logics; Routley and Meyer's logic B; 4-valued quasi-relevant logics

• Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
• Czasopismo: Bulletin of the Section of Logic
• Rocznik: 2022
• Tom: 51
• Numer: 1
• Strony: 27-56

Daty

wydano

2022

Twórcy

autor

Sandra M. López

• Universidad de Salamanca, Departamento de Filosofía, Lógica y Estética, 37007, Campus Unamuno, Edificio FES, Salamanca, Spain

• https://orcid.org/0000000325845950

Bibliografia

• A. R. Anderson, N. D. Belnap, Entailment: The Logic of Relevance and Necessity, vol. I, Princeton University Press (1975).
• A. R. Anderson, N. D. Belnap, J. M. Dunn, Entailment: The Logic of Relevance and Necessity, vol. II, Princeton University Press (1992).
• R. T. Brady, Completeness proofs for the systems RM3 and BN4, Logique et Analyse, vol. 25 (1982), pp. 9–32.
• R. T. Brady (ed.), Relevant Logics and their Rivals, vol. II, Ashgate (2003).
• R. T. Brady, Universal Logic, CSLI (2006).
• 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: https://doi.org/10.12775/LLP.2021.004
• R. K. Meyer, S. Giambrone, R. T. Brady, Where Gamma fails, Studia Logica, vol. 43 (1984), pp. 247–256, DOI: https://doi.org/10.1007/BF02429841
• H. Omori, H. Wansing, 40 years of FDE: An Introductory Overview, Studia Logica, vol. 105 (2017), pp. 1021–1049, DOI: https://doi.org/10.1007/s11225-017-9748-6
• 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: https://doi.org/10.12775/LLP.2016.006
• 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: https://doi.org/10.1093/jigpal/jzw011
• R. Routley, V. Plumwood, R. K. Meyer, R. T. Brady, Relevant Logics and their Rivals, vol. I, Ridgeview (1982).
• 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: https://doi.org/10.1007/978-3-540-30597-2_9
• 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.

Identyfikatory

DOI

10.18778/0138-0680.2021.16

nonstd.3pn.id

2142758