Description

• Title:
  Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
• Creator:
  López, Sandra M.
• Description:
  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.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nd/4.0 ;
  Prawa autorskie (c) 2021 Logic and Logical Philosophy
• Date:
  2021.03.12
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion;
  formal approach
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 31 No. 1 (2022): March; 29-56;
  Logic and Logical Philosophy; Tom 31 Nr 1 (2022): Marzec; 29-56;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/29336/28454
• Subject:
  4-valued logics;
  many-valued logics;
  Belnap-Dunn semantics;
  Routley and Meyer’s logic B;
  relevant logics;
  substructural logics;
  many-valued logic;
  paraconsistent logics;
  logic in computer science
• Identifier: https://apcz.umk.pl/LLP/article/view/29336
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  other