Relational semantics for the 4-valued relevant logics BN4 and E4

Journal Title: Logic and Logical Philosophy - Year 2016, Vol 25, Issue 2

Abstract

The logic BN4 was defined by R.T. Brady in 1982. It can be considered as the 4-valued logic of the relevant conditional. E4 is a variant of BN4 that can be considered as the 4-valued logic of (relevant) entailment. The aim of this paper is to define reduced general Routley-Meyer semantics for BN4 and E4. It is proved that BN4 and E4 are strongly sound and complete w.r.t. their respective semantics.

Authors and Affiliations

Gemma Robles, José M. Blanco, Sandra M. López, Jesús R. Paradela, Marcos M. Recio

Keywords

Related Articles

Relational semantics for the 4-valued relevant logics BN4 and E4

The logic BN4 was defined by R.T. Brady in 1982. It can be considered as the 4-valued logic of the relevant conditional. E4 is a variant of BN4 that can be considered as the 4-valued logic of (relevant) entailment. The a...

The Case of Dialetheism

The concept of dialetheia and the claim of dialetheism has been examined and compared to such related concept as contradiction, antinomy, consistency and paraconsistency. Dialetheia is a true contradiction and dialetheis...

Tomasz Jarmużek and Marcin Tkaczyk: “Normalne logiki pozycyjne” (Normal Positional Logics), Wydawnictwo KUL, Lublin (Poland), 2015

Book Reviews: Tomasz Jarmużek and Marcin Tkaczyk, Normalne logiki pozycyjne (Normal Positional Logics), Wydawnictwo KUL, Lublin (Poland), 2015, 202 pages, ISBN 978-838061-114-6.

A Theory of Propositions

In this paper I present a new theory of propositions, according to which propositions are abstract mathematical objects: well-formed formulas together with models. I distinguish the theory from a number of existing views...

Refutation Systems for a System of Nonsense-Logic

In the paper rejection systems for a system of nonsense-logic are investigated. The first rejection system consists of four rejected axioms and only one rejection rule - the rule of rejection by detachment. The second o...

Download PDF file
  • EP ID EP201831
  • DOI 10.12775/LLP.2016.006
  • Views 79
  • Downloads 0

How To Cite

Gemma Robles, José M. Blanco, Sandra M. López, Jesús R. Paradela, Marcos M. Recio (2016). Relational semantics for the 4-valued relevant logics BN4 and E4. Logic and Logical Philosophy, 25(2), 173-201. https://europub.co.uk/articles/-A-201831