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
- EP ID EP201831
- DOI 10.12775/LLP.2016.006
- Views 59
- Downloads 0
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...
Simple cut elimination proof for hybrid logic
In the paper we present a relatively simple proof of cut elimination theorem for variety of hybrid logics in the language with satisfaction operators and universal modality. The proof is based on the strategy introduced...
Composition as identity and plural Cantor's theorem
In this paper, I argue that the thesis of Composition as Identity blocks the plural version of Cantor’s Theorem, and that this in turn has implications for our use of Cantor’s theorem in metaphysics. As an example, I sho...
On some extensions of the class of MV-algebras
In the present paper we will ask for the lattice L(MVEx) of subvarieties of the variety defined by the set Ex(MV) of all externally compatible identities valid in the variety MV of all MV-algebras. In particular, we will...
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...