Showing math.RAShow all
2 papers · 1 filter
math.RA2022
Another look on tense and related operators
Michal Botur, Jan Paseka, Richard Smolka
Motivated by the classical work of Halmos on functional monadic Boolean algebras we derive three basic sup-semilattice constructions, among other things the so-called powersets and…
math.RA2014
On pseudo BL-algebras and pseudo hoops with normal maximal filters
Michal Botur, Anatolij Dvurečenskij
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 pseud…