Opis

• Tytuł:
  A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics
• Twórca:
  Tomova, Natalya
• Współtwórca:
  Russian Academy of Sciences, Institute of Philosophy, Goncharnaya 12/1, 109240 Moscow, Russian Federation;
  natalya-tomova@yandex.ru
• Opis:
  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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2021.05.05;
  2020.11.13
• Typ:
  Other
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;1;
  50
• Temat i słowa kluczowe:
  Four-valued logics;
  paraconsistent logics;
  paracomplete logics;
  isomorphisms;
  literal-paraconsistent-paracomplete logics;
  semi-lattice of logics
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/35351 ;
  2449-836X;
  10.18778/0138-0680.2020.24
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe