Description

• Title:
  Uniform Cut-Free Bisequent Calculi for Three-Valued Logics
• Creator:
  Indrzejczak, Andrzej;
  Petrukhin, Yaroslav
• Description:
  We present a uniform characterisation of three-valued logics by means of a bisequent calculus (BSC). It is a generalised form of a sequent calculus (SC) where rules operate on the ordered pairs of ordinary sequents. BSC may be treated as the weakest kind of system in the rich family of generalised SC operating on items being some collections of ordinary sequents, like hypersequent and nested sequent calculi. It seems that for many non-classical logics, including some many-valued, paraconsistent and modal logics, the reasonably modest generalisation of standard SC offered by BSC is sufficient. In this paper, we examine a variety of three-valued logics and show how they can be formalised in the framework of BSC. We present a constructive syntactic proof that these systems are cut-free, satisfy the subformula property, and allow one to prove the interpolation theorem in many cases.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nd/4.0 ;
  Prawa autorskie (c) 2024 Andrzej Indrzejczak, Yaroslav Petrukhin
• Date:
  2024.07.26
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 33 No. 3 (2024): September; 463-506;
  Logic and Logical Philosophy; Tom 33 Nr 3 (2024): Wrzesień; 463-506;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/47308/39246
• Subject:
  bisequent calculus;
  cut elimination;
  many-valued logic;
  three-valued logic;
  interpolation theorem
• Identifier: https://apcz.umk.pl/LLP/article/view/47308
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text