Bulletin of the Section of Logic 51/4 (2022)

Recent Submissions

  • A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions 

    Cornejo, Juan Manuel; Sankappanavar, Hanamantagouda P. (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 ...

  • Equivalential Algebras with Conjunction on Dense Elements 

    Przybyło, Sławomir; Słomczyńska, Katarzyna (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 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\) 

    Robles, Gemma; Méndez, José M. (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 ...

  • Basic Four-Valued Systems of Cyclic Negations 

    Grigoriev, Oleg; Zaitsev, Dmitry (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 ...

  • \(n\)-Fold Filters of EQ-Algebras 

    Ganji Saffar, Batoul; Kologani, Mona Aly; Borzooei, Rajab Ali (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 ...