Temat: four-valued logics - Katalog OPAC zbiorów

Skocz do pozycji: 1.

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ł

Skocz do pozycji: 2.

Tytuł:: A Variant of Material Connexive Logic
Autorzy:: Belikov, Alexander
Zaitsev, Dmitry
Powiązania:: https://bibliotekanauki.pl/articles/2142753.pdf
Data publikacji:: 2021-11-09
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: many-valued logics
connexive logic
four-valued logic MC
informal reasoning
Opis:: The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our approach is based on the following presupposition: whatever method of formalizing informal reasoning you choose, there will always be some classically acceptable deductive principles that will have to be abandoned, and some desired schemes of argument that clearly are not classically valid. That way, we start with a new version of connexive logic which validates Boethius’ (and thus, Aristotle’s) Theses and quashes their converse from right to left. We provide a sound and complete axiomatization of this logic. We also study the implication-negation fragment of this logic supplied with Boolean negation as a second negation.
Źródło:: Bulletin of the Section of Logic; 2022, 51, 2; 227-242
0138-0680
2449-836X
Pojawia się w:: Bulletin of the Section of Logic
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja