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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

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.
A Routley–Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart.Gemma Robles - 2013 - Logica Universalis 7 (4):507-532.
A Routley-Meyer semantics for truth-preserving and well-determined Lukasiewicz 3-valued logics.G. Robles & J. M. Mendez - 2014 - Logic Journal of the IGPL 22 (1):1-23.
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.
A Routley-Meyer type semantics for relevant logics including B r plus the disjunctive syllogism.Gemma Robles & José M. Méndez - 2010 - Journal of Philosophical Logic 39 (2):139-158.
Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics.Katalin Bimbo, Jon Michael Dunn & Nicholas Ferenz - 2018 - Australasian Journal of Logic 15 (2):171-209.
A Routley-Meyer semantics for Ackermann's logics of “strenge implication”.José M. Méndez - 2009 - Logic and Logical Philosophy 18 (3-4):191-219.
“Four-Valued” Semantics for the Relevant Logic R.Edwin D. Mares - 2004 - Journal of Philosophical Logic 33 (3):327-341.
A Generalization of the Routley-Meyer Semantic Framework.Morgan Thomas - 2015 - Journal of Philosophical Logic 44 (4):411-427.
A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism.Gemma Robles & José M. Méndez - 2011 - Logic Journal of the IGPL 19 (1):18-32.
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
Reduced Routley–Meyer semantics for the logics characterized by natural implicative expansions of Kleene’s strong 3-valued matrix.Gemma Robles - forthcoming - Logic Journal of the IGPL.
The Semantics of Entailment.Richard Routley & Robert K. Meyer - 1973 - In Hugues Leblanc (ed.), Truth, Syntax, and Modality: Proceedings Of The Temple University Conference On Alternative Semantlcs. Amsterdam and London: North-Holland Publishing Company. pp. 199-243.
A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics.Norihiro Kamide - 2016 - Mathematical Logic Quarterly 62 (3):177-189.
Some Concerns Regarding Ternary-relation Semantics and Truth-theoretic Semantics in General.Ross T. Brady - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):755--781.

Analytics

Added to PP
2019-06-09

Downloads
27 (#552,153)

6 months
11 (#187,035)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Add more citations

References found in this work

Add more references