4 research outputs found

    On Normal-Valued Basic Pseudo Hoops

    Full text link
    We show that every pseudo hoop satisfies the Riesz Decomposition Property. We visualize basic pseudo hoops by functions on a linearly ordered set. Finally, we study normal-valued basic pseudo hoops giving a countable base of equations for them

    Filters on some classes of quantum B-algebras

    Full text link
    In this paper, we continue the study of quantum B-algebras with emphasis on filters on integral quantum B-algebras. We then study filters in the setting of pseudo-hoops. First, we establish an embedding of a cartesion product of polars of a pseudo-hoop into itself. Second, we give sufficient conditions for a pseudohoop to be subdirectly reducible. We also extend the result of Kondo and Turunen to the setting of noncommutative residuated \vee-semilattices that, if prime filters and \vee-prime filters of a residuated \vee-semilattice AA coincide, then AA must be a pseudo MTL-algebra

    On pseudo BL-algebras and pseudo hoops with normal maximal filters

    Full text link
    We study the class of pseudo BL-algebras whose every maximal filter is normal. We present an equational base for this class and we extend these results for the class of basic pseudo hoops with fixed strong unit

    Kites and Pseudo BL-algebras

    Full text link
    We investigate a construction of a pseudo BL-algebra out of an \ell-group called a kite. We show that many well-known examples of algebras related to fuzzy logics can be obtained in that way. We describe subdirectly irreducible kites. As another application, we exhibit a new countably infinite family of varieties of pseudo BL-algebras covering the variety of Boolean algebras
    corecore