- Tytuł:
- A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics
- Autorzy:
- Tomova, Natalya
- Powiązania:
- https://bibliotekanauki.pl/articles/1023361.pdf
- Data publikacji:
- 2020-11-13
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
Four-valued logics
paraconsistent logics
paracomplete logics
isomorphisms
literal-paraconsistent-paracomplete logics
semi-lattice of logics - 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.
- Źródło:
-
Bulletin of the Section of Logic; 2021, 50, 1; 35-53
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł