Temat: many-valued logics - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Isomorphisms in EQ-Algebras
Autorzy:: Bakhshi, M.
Khavari, M.R.
Nazifi, M.
Tematy:: many-valued logics
Fuzzy type theory
EQ-algebra
homomorphism theorems; Pokaż więcej
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Powiązania:: https://bibliotekanauki.pl/articles/55795508.pdf Link otwiera się w nowym oknie
Opis:: In this paper we investigate some isomorphism theorems in EQ-algebras. After establishing some basic results we give the Fundamental Homomorphism Theorem and by using it we state and prove some other isomorphism theorems. We also state and prove a correspondence theorem. Next, using some results of the theory of universal algebra we characterize subdirectly irreducible EQ-algebras.
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: A Variant of Material Connexive Logic
Autorzy:: Belikov, Alexander
Zaitsev, Dmitry
Tematy:: many-valued logics
connexive logic
four-valued logic MC
informal reasoning; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/2142753.pdf Link otwiera się w nowym oknie
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.
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 3.

Tytuł:: A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4
Autorzy:: Robles, Gemma
López, Sandra M.
Blanco, José M.
Recio, Marcos M.
Paradela, Jesús R.
Tematy:: Relevant logics
many-valued logics
4-valued logics
2-set-up Routley-Meyer semantics; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/749920.pdf Link otwiera się w nowym oknie
Opis:: The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of (relevant) entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. It is proved that E4 is strongly sound and complete w.r.t. this semantics.
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 4.

Tytuł:: Fractional-Valued Modal Logic and Soft Bilateralism
Autorzy:: Piazza, Mario
Pulcini, Gabriele
Tesi, Matteo
Tematy:: modal logic
general proof theory (including proof-theoretic semantics)
many-valued logics; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/43181839.pdf Link otwiera się w nowym oknie
Opis:: In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) of rational numbers [14]. In this paper, after clarifying our conception of bilateralism – dubbed “soft bilateralism” – we generalize the fractional method to encompass extensions and weakenings of \(\mathbf{K}\). Specifically, we introduce well-behaved hypersequent calculi for the deontic logic \(\mathbf{D}\) and the non-normal modal logics \(\mathbf{E}\) and \(\mathbf{M}\) and thoroughly investigate their structural properties.
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja