Opis

• Tytuł:
  Relational semantics for the 4-valued relevant logics BN4 and E4
• Twórca:
  Robles, Gemma;
  Blanco, José M.;
  López, Sandra M.;
  Paradela, Jesús R.;
  Recio, Marcos M.
• Opis:
  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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Data:
  2016.04.25
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 25 No. 2 (2016): June; 173-201;
  Logic and Logical Philosophy; Tom 25 Nr 2 (2016): czerwiec; 173-201;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2016.006/8976
• Temat i słowa kluczowe:
  relevant logics;
  many-valued logics;
  4-valued logics;
  Routley-Meyer semantics;
  03B47
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2016.006
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty