Wyświetlanie pozycji 3-8 z 8

    • Interpolation in Normal Extensions of the Brouwer Logic 

      Kostrzycka, Zofia (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
      The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic.
    • Irredundant Decomposition of Algebras into One-Dimensional Factors 

      Staruch, Bogdan (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
      We introduce a notion of dimension of an algebraic lattice and, treating such a lattice as the congruence lattice of an algebra, we introduce the dimension of an algebra, too. We define a star-product as a special kind of ...
    • Monadic Fragments of Intuitionistic Control Logic 

      Glenszczyk, Anna (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
      We investigate monadic fragments of Intuitionistic Control Logic (ICL), which is obtained from Intuitionistic Propositional Logic (IPL) by extending language of IPL by a constant distinct from intuitionistic constants. In ...
    • On Direct Limit Closed Classes of Algebras 

      Halušková, Emília (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
      Axiomatic classes of algebras of a given type which are closed with respect to direct limits are studied in this paper.
    • Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras 

      Dzik, Wojciech; Radeleczki, Sándor (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
      We show that adding compatible operations to Heyting algebras and to commutative residuated lattices, both satisfying the Stone law ¬x ⋁ ¬¬x = 1, preserves filtering (or directed) unification, that is, the property that ...
    • Some Algebraic and Algorithmic Problems in Acoustocerebrography 

      Kolany, Adam; Wrobel, Miroslaw (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
      Progress in the medical diagnostic is relentlessly pushing the measurement technology as well with its intertwined mathematical models and solutions. Mathematics has applications to many problems that are vital to human ...