Description

• Title:
  Bochvar's Three-Valued Logic and Literal Paralogics: Their Lattice and Functional Equivalence
• Creator:
  Karpenko, Alexander;
  Tomova, Natalya
• Description:
  In the present paper, various features of the class of propositional literal paralogics are considered. Literal paralogics are logics in which the paraproperties such as paraconsistence, paracompleteness and paranormality, occur only at the level of literals; that is, formulas that are propositional letters or their iterated negations. We begin by analyzing Bochvar’s three-valued nonsense logic B3 , which includes two isomorphs of the propositional classical logic CPC. The combination of these two ‘strong’ isomorphs leads to the construction of two famous paralogics P1 and I1, which are functionally equivalent. Moreover, each of these logics is functionally equivalent to the fragment of logic B3 consisting of external formulas only. In conclusion, we structure a four-element lattice of three-valued paralogics with respect to the possession of paraproperties.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2016.10.21
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 26 No. 2 (2017): June; 207-235;
  Logic and Logical Philosophy; Tom 26 Nr 2 (2017): June; 207-235;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2016.029/10196
• Subject:
  Bochvar’s logic B3;
  isomorphs;
  extended formulas;
  paraconsistent logics P1 and P12;
  paracomplete logics I1 and I12;
  paranormal logic TK1;
  strong and weak modus ponens;
  lattice of paralogics
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2016.029
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text