Opis

• Tytuł:
  Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
• Twórca:
  López, Sandra M.
• Opis:
  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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nd/4.0 ;
  Prawa autorskie (c) 2021 Logic and Logical Philosophy
• Data:
  2021.03.12
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion;
  formal approach
• Język:
  angielski
• Źródło:
  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
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/29336/28454
• Temat i słowa kluczowe:
  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
• Identyfikator: https://apcz.umk.pl/LLP/article/view/29336
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  pozostałe