Description

• Title:
  A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics
• Creator:
  Tomova, Natalya
• Contributor:
  Russian Academy of Sciences, Institute of Philosophy, Goncharnaya 12/1, 109240 Moscow, Russian Federation;
  natalya-tomova@yandex.ru
• Description:
  In this paper, we consider the class of four-valued literal-paraconsistent-paracomplete logics constructed by combination of isomorphs of classical logic CPC. These logics form a 10-element upper semi-lattice with respect to the functional embeddinig one logic into another. The mechanism of variation of paraconsistency and paracompleteness properties in logics is demonstrated on the example of two four-element lattices included in the upper semi-lattice. Functional properties and sets of tautologies of corresponding literal-paraconsistent-paracomplete matrices are investigated. Among the considered matrices there are the matrix of Puga and da Costa's logic V and the matrix of paranormal logic P1I1, which is the part of a sequence of paranormal matrices proposed by V. Fernández.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2021.05.05;
  2020.11.13
• Type:
  Other
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;1;
  50
• Subject:
  Four-valued logics;
  paraconsistent logics;
  paracomplete logics;
  isomorphisms;
  literal-paraconsistent-paracomplete logics;
  semi-lattice of logics
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/35351 ;
  2449-836X;
  10.18778/0138-0680.2020.24
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  other