Opis

• Tytuł:
  Normalisation for Some Quite Interesting Many-Valued Logics
• Twórca:
  Kürbis, Nils;
  Petrukhin, Yaroslav
• Opis:
  In this paper, we consider a set of quite interesting three- and four-valued logics and prove the normalisation theorem for their natural deduction formulations. Among the logics in question are the Logic of Paradox, First Degree Entailment, Strong Kleene logic, and some of their implicative extensions, including RM3 and RM3⊃. Also, we present a detailed version of Prawitz’s proof of Nelson’s logic N4 and its extension by intuitionist negation.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2021 Logic and Logical Philosophy
• Data:
  2021.06.16
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 30 No. 3 (2021): September; 493-534;
  Logic and Logical Philosophy; Tom 30 Nr 3 (2021): wrzesień; 493-534;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2021.009/29158
• Temat i słowa kluczowe:
  natural deduction;
  normalisation;
  three-valued logic;
  four-valued logic;
  logic of paradox;
  Nelson logic
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2021.009
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty