16 citations · 44 across the 22 of their papers we have counts for
Showing math.ACShow all
3 papers · 1 filter
math.AC2013
On Tense MV-algebras
Michal Botur, Jan Paseka
The main aim of this article is to study tense MV-algebras which are just MV-algebras with new unary operations and which express a universal time quantifiers. Tense MV-alg…
math.AC2011
State-Morphism Algebras - General Approach
Michal Botur, Anatolij Dvurecenskij
We present a complete description of subdirectly irreducible state BL-algebras as well as of subdirectly irreducible state-morphism BL-algebras. In addition, we present a general t…
math.AC2011
On Normal-Valued Basic Pseudo Hoops
Michal Botur, Anatolij Dvurečenskij, Tomasz Kowalski
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 b…