Open AccessBelnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
Author(s) -
Sandra M. López
Publication year - 2021
Publication title -
logic and logical philosophy
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.416
H-Index - 10
eISSN - 2300-9802
pISSN - 1425-3305
DOI - 10.12775/llp.2021.004
Subject(s) - logical consequence , semantics (computer science) , classical logic , computer science , mathematics , programming language , higher order logic , description logic , discrete mathematics , artificial intelligence
The logics BN4 and E4 can be considered as the 4-valued logics of the relevant conditional and (relevant) entailment, respectively. The logic BN4 was developed by Brady in 1982 and the logic E4 by Robles and Méndez in 2016. The aim of this paper is to investigate the implicative variants (of both systems) which contain Routley and Meyer’s logic B and endow them with a Belnap-Dunn type bivalent semantics.