Opis

• Tytuł:
  A Generalisation of a Refutation-related Method in Paraconsistent Logics
• Twórca:
  Trybus, Adam
• Opis:
  This article describes a refutation method of proving maximality of three-valued paraconsistent logics. After outlining the philosophical background related to paraconsistent logics and the refutation approach to modern logic, we briefly describe how these two areas meet in the case of maximal paraconsistent logics. We focus on a method of proving maximality introduced in [34] and [37] that has the benefit of being simple and effective. We show how the method works on a number of examples, thus emphasising the fact that it provides a unifying approach to the search for maximal paraconsistent logics. Finally, we show how the method can be generalised to cover a wide range of paraconsistent logics. We also conduct a small experimental setting that confirms the theoretical results.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2018 Logic and Logical Philosophy
• Data:
  2018.01.25
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 27 No. 2 (2018): June; 235-261;
  Logic and Logical Philosophy; Tom 27 Nr 2 (2018): June; 235-261;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2018.002/14026
• Temat i słowa kluczowe:
  paraconsistency;
  refutation;
  maximality;
  02-Logic and Foundations;
  03-Mathematical Logic and Foundations
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2018.002
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty