Browsing Bulletin of the Section of Logic 51/4 (2022) by Issue Date
Now showing items 1-5 of 5
-
A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\)
(Wydawnictwo Uniwersytetu Łódzkiego, 2022-10-14)G3 is Gödelian 3-valued logic, G3\(_\text{Ł}^\leq\) is its paraconsistent counterpart and G3\(_\text{Ł}^1\) is a strong extension of G3\(_\text{Ł}^\leq\). The aim of this paper is to endow each one of the logics just ... -
\(n\)-Fold Filters of EQ-Algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2022-10-14)In this paper, we apply the notion of \(n\)-fold filters to the \(EQ\)-algebras and introduce the concepts of \(n\)-fold pseudo implicative, \(n\)-fold implicative, \(n\)-fold obstinate, \(n\)-fold fantastic prefilters and ... -
Basic Four-Valued Systems of Cyclic Negations
(Wydawnictwo Uniwersytetu Łódzkiego, 2022-10-25)We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation ... -
Equivalential Algebras with Conjunction on Dense Elements
(Wydawnictwo Uniwersytetu Łódzkiego, 2022-10-25)We study the variety generated by the three-element equivalential algebra with conjunction on the dense elements. We prove the representation theorem which let us construct the free algebras in this variety. -
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
(Wydawnictwo Uniwersytetu Łódzkiego, 2022-12-14)The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism. In this paper, we focus on the variety ...