Description

• Title:
  Natural Deduction for Four-Valued both Regular and Monotonic Logics
• Creator:
  Petrukhin, Yaroslav
• Description:
  The development of recursion theory motivated Kleene to create regular three-valued logics. Remove it taking his inspiration from the computer science, Fitting later continued to investigate regular three-valued logics and defined them as monotonic ones. Afterwards, Komendantskaya proved that there are four regular three-valued logics and in the three-valued case the set of regular logics coincides with the set of monotonic logics. Next, Tomova showed that in the four-valued case regularity and monotonicity do not coincide. She counted that there are 6400 four-valued regular logics, but only six of them are monotonic. The purpose of this paper is to create natural deduction systems for them. We also describe some functional properties of these logics.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2017.01.31
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 27 No. 1 (2018): March; 53-66;
  Logic and Logical Philosophy; Tom 27 Nr 1 (2018): March; 53-66;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2017.001/10880
• Subject:
  natural deduction;
  four-valued logic;
  regular logic;
  monotonic logic;
  Kleene’s logics;
  Belnap–Dunn’s logic
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2017.001
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text