scientific article; zbMATH DE number 475196

zbMath0848.06013MaRDI QIDQ4273433

I. M. A. Ferreirim, Willem J. Blok

Publication date: 17 July 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Ordered semigroups and monoids (06F05) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Related Items

Quotient Hoops Induced by Quasi-Valuation Maps ⋮ On the structure of varieties with equationally definable principal congruences. III ⋮ Multi-posets in algebraic logic, group theory, and non-commutative topology ⋮ \(L\)-algebras and three main non-classical logics ⋮ Varieties of commutative residuated integral pomonoids and their residuation subreducts ⋮ Hoop twist-structures ⋮ Unnamed Item ⋮ The geometry of discrete \(L\)-algebras ⋮ Varieties of K-lattices ⋮ Fragments of quasi-Nelson: residuation ⋮ Decomposability of the finitely generated free hoop residuation algebra ⋮ States and internal states on semihoops ⋮ Unnamed Item ⋮ State maps on semihoops ⋮ Basic hoops: an algebraic study of continuous t-norms ⋮ Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics ⋮ Fuzzy logics from substructural perspective ⋮ Logic for abstract hoop twist-structures ⋮ Unnamed Item ⋮ Monadic bounded hoops ⋮ Varieties of BL-algebras. I: General properties. ⋮ Soju Filters in Hoop Algebras ⋮ A general Glivenko theorem ⋮ The existence of states based on Glivenko semihoops ⋮ Geometrical methods in Wajsberg hoops ⋮ On the structure of varieties with equationally definable principal congruences. IV ⋮ Projectivity in (bounded) commutative integral residuated lattices ⋮ L-algebras and topology