Autor: Tomova, Natalya - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: A Lattice of Implicative Extensions of Regular Kleenes Logics
Autorzy:: Tomova, Natalya
Powiązania:: https://bibliotekanauki.pl/articles/1368574.pdf
Data publikacji:: 2012
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Opis:: The paper deals with functional properties of three-valued logics. We consider the family of regular three-valued Kleene’s logics (strong, weak, intermediate) and it’s extensions by adding an implicative connectives (“natural” implications). The main result of our paper is the lattice that describes the relations between implicative extensions of regular logics.
Źródło:: Reports on Mathematical Logic; 2012, 47; 173-182
0137-2904
2084-2589
Pojawia się w:: Reports on Mathematical Logic
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

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ł

Informacja