Opis

• Tytuł:
  EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes
• Twórca:
  Blanco, José Miguel
• Opis:
  The logic BN4 was defined by R.T. Brady as a four-valued extension of Routley and Meyer’s basic logic B. The system EF4 is defined as a companion to BN4 to represent the four-valued system of (relevant) implication. The system Ł was defined by J. Łukasiewicz and it is a four-valued modal logic that validates what is known as strong Łukasiewicz-type modal paradoxes. The systems EF4-M and EF4-Ł are defined as alternatives to Ł without modal paradoxes. This paper aims to define a Belnap-Dunn semantics for EF4, EF4-M and EF4-Ł. It is shown that EF4, EF4-M and EF4-Ł are strongly sound and complete w.r.t. their respective semantics and that EF4-M and EF4-Ł are free from strong Łukasiewicz-type modal paradoxes.
• 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.08.14
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 31 No. 1 (2022): March; 75-104;
  Logic and Logical Philosophy; Tom 31 Nr 1 (2022): Marzec; 75-104;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/32704/29491
• Temat i słowa kluczowe:
  relevant logics;
  modal logics;
  many-valued logics;
  Belnap-Dunn semantics;
  modal paradoxes;
  4-valued modal logics;
  03B45;
  03B47;
  03B50;
  03B53
• Identyfikator: https://apcz.umk.pl/LLP/article/view/32704
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty