A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4

, , , &
Bulletin of the Section of Logic 45 (2) (2016)
  Copy   BIBTEX

Abstract

The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. It is proved that E4 is strongly sound and complete w.r.t. this semantics.

Categories

Add categories

Keywords

Reprint years

DOI

10.18778/0138-0680.45.2.03

Other Versions

No versions found

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: 103,836

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.
Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B.Sandra M. López - 2022 - Logic and Logical Philosophy 31 (1):29-56.
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.
A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4.Gemma Robles & José M. Méndez - 2016 - Logic Journal of the IGPL 24 (5).
A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3Ł≤_\text{Ł}^\leq. [REVIEW]Gemma Robles & José M. Méndez - 2022 - Bulletin of the Section of Logic 51 (4):487-505.
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.
A Routley-Meyer Semantics for Łukasiewicz 3-valued Logic.Gemma Robles - 2018 - Proceedings of the XXIII World Congress of Philosophy 19:29-34.
The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points.Gemma Robles & José M. Méndez - 2014 - Journal of Applied Non-Classical Logics 24 (4):321-332.

Analytics

Added to PP
2019-06-09

Downloads
38 (#646,606)

6 months
1 (#1,599,946)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Gemma Robles
Universidad de León
Sandra Lopez

Citations of this work

Add more citations

References found in this work

No references found.

Add more references