Opis

• Tytuł:
  Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic
• Twórca:
  Steen, Alexander;
  Benzmüller, Christoph
• Opis:
  An embedding of many-valued logics based on SIXTEEN in classical higher-order logic is presented. SIXTEEN generalizes the four-valued set of truth degrees of Dunn/Belnap’s system to a lattice of sixteen truth degrees with multiple distinct ordering relations between them. The theoretical motivation is to demonstrate that many-valued logics, like other non-classical logics, can be elegantly modeled (and even combined) as fragments of classical higher-order logic. Equally relevant are the pragmatic aspects of the presented approach: interactive and automated reasoning in many-valued logics, which have broad applications in computer science, artificial intelligence, linguistics, philosophy and mathematics, become readily enabled with state of the art reasoning tools for classical higher-order logic.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Data:
  2016.07.26
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 25 No. 4 (2016): December; 535-554;
  Logic and Logical Philosophy; Tom 25 Nr 4 (2016): grudzień; 535-554;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2016.021/9437
• Temat i słowa kluczowe:
  many-valued logic;
  non-classical logic;
  higher-order logic;
  automated theorem proving;
  semantic embedding;
  automation;
  meta-logical reasoning
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2016.021
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty