Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B

Logic and Logical Philosophy 31 (1):29-56 (2022)
  Copy   BIBTEX

Abstract

The logics BN4 and E4 can be considered as the 4-valued logics of the relevant conditional and (relevant) entailment, respectively. The logic BN4 was developed by Brady in 1982 and the logic E4 by Robles and Méndez in 2016. The aim of this paper is to investigate the implicative variants (of both systems) which contain Routley and Meyer’s logic B and endow them with a Belnap-Dunn type bivalent semantics.

Categories

Keywords

Reprint years

DOI

10.12775/llp.2021.004

Other Versions

reprint López, Sandra 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

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,859

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Relational semantics for the 4-valued relevant logics BN4 and E4.Gemma Robles, José M. Blanco, Sandra M. López, Jesús R. Paradela & Marcos M. Recio - 2016 - Logic and Logical Philosophy 25 (2):173-201.
EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes. [REVIEW]José Miguel Blanco - 2022 - Logic and Logical Philosophy 31 (1):75-104.
Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators.José M. Méndez & Gemma Robles - 2016 - Journal of Logic, Language and Information 25 (2):163-189.
A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4.Gemma Robles, Sandra M. López, José M. Blanco, Marcos M. Recio & Jesús R. Paradela - 2016 - Bulletin of the Section of Logic 45 (2).
A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4.Gemma Robles & José M. Méndez - forthcoming - Logic Journal of the IGPL.
Relational Semantics for the Paraconsistent and Paracomplete 4-valued Logic PŁ4.Gemma Robles, Sandra M. López & José M. Blanco - 2022 - Logic and Logical Philosophy 31 (4):665-687.
The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer’s basic logic Bd.Gemma Robles & José M. Méndez - 2024 - Logic Journal of the IGPL 32 (3):493-516.
A Routley-Meyer Semantics for Łukasiewicz 3-valued Logic.Gemma Robles - 2018 - Proceedings of the XXIII World Congress of Philosophy 19:29-34.
A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes.José M. Méndez & Gemma Robles - 2015 - Logica Universalis 9 (4):501-522.

Analytics

Added to PP
2021-03-16

Downloads
45 (#548,317)

6 months
4 (#1,002,479)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Sandra Lopez
Universidad del Norte

Citations of this work

The relevance logic of Boolean groups.Yale Weiss - 2023 - Logic Journal of the IGPL 31 (1):96-114.

Add more citations

References found in this work

How a computer should think.Nuel Belnap - 1977 - In Gilbert Ryle, Contemporary aspects of philosophy. Boston: Oriel Press.
Reasoning with logical bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.
The value of the four values.Ofer Arieli & Arnon Avron - 1998 - Artificial Intelligence 102 (1):97-141.
A useful four-valued logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein, Modern Uses of Multiple-Valued Logic. D. Reidel.

View all 11 references / Add more references