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

The Need for Pluralism of Causality

It will be shown in this article that a pluralism of causality is needed. Not only, as might be expected, for such different domains as natural sciences and humanities, but even within the domain of physics different cau...

Mereology and truth-making

Many mereological propositions are true contingently, so we are entitled to ask why they are true. One frequently given type of answer to such questions evokes truth-makers, that is, entities in virtue of whose existence...

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.

Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic

An embedding of many-valued logics based on SIXTEEN in classical higher-order logic is presented. SIXTEEN generalizes the four-valued set of truth degrees of Dunn/Belnap’s system to a lattice of sixteen truth degrees wit...

Sequents for non-wellfounded mereology

The paper explores the proof theory of non-wellfounded mereology with binary fusions and provides a cut-free sequent calculus equivalent to the standard axiomatic system.

Download PDF file
  • EP ID EP201831
  • DOI 10.12775/LLP.2016.006
  • Views 76
  • 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