Description

• Title:
  Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic
• Creator:
  Gerasimov, Alexander S.
• Description:
  We consider first-order infinite-valued Łukasiewicz logic and its expansion, first-order rational Pavelka logic RPL∀. From the viewpoint of provability, we compare several Gentzen-type hypersequent calculi for these logics with each other and with Hájek’s Hilbert-type calculi for the same logics. To facilitate comparing previously known calculi for the logics, we define two new analytic calculi for RPL∀ and include them in our comparison. The key part of the comparison is a density elimination proof that introduces no cuts for one of the hypersequent calculi considered.  
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2022 Logic and Logical Philosophy;
  https://creativecommons.org/licenses/by-nd/4.0
• Date:
  2022.11.16
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 32 No. 2 (2023): June; 269-318;
  Logic and Logical Philosophy; Tom 32 Nr 2 (2023): Czerwiec; 269-318;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/34870/33710
• Temat i słowa kluczowe:
  many-valued logic;
  mathematical fuzzy logic;
  first-order infinite-valued Lukasiewicz logic;
  first-order rational Pavelka logic;
  proof theory;
  Hilbert-type calculus;
  Gentzen-type hypersequent calculus;
  density elimination;
  conservative extension
• Identyfikator: https://apcz.umk.pl/LLP/article/view/34870
• Dostawca danych:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text