16 citations · 44 across the 22 of their papers we have counts for
7 papers · 2 filters
A new representation of finite Hoops using a new type of product of structures
Michal Botur
In this paper we show that a new type of products hoops can be defined which, in the case of finite hoops, can describe an arbitrary hoop as the product of its arbitrar…
Operators on complemented posets
Michal Botur, Ivan Chajda, Helmut Länger
Given a complemented poset P, we can assign to every element x of P the set x^+ of all its complements. We study properties of the operator ^+ on P, in particular, we are intereste…
Kites and representations of pseudo MV-algebras
Michal Botur, Tomasz Kowalski
We investigate the structure of perfect residuated lattices, focussing especially on perfect pseudo MV-algebras. We show that perfect pseudo MV-algebras can be represented as a gen…
Many-valued aspects of tense an related operators
Michal Botur, Jan Paseka, Richard Smolka
Our research builds upon Halmos's foundational work on functional monadic Boolean algebras and our previous work on tense operators to develop three essential constructions, includ…
Foulis quantales and complete orthomodular lattices
Michal Botur, Jan Paseka, Richard Smolka
Our approach establishes a natural correspondence between complete orthomodular lattices and certain types of quantales. Firstly, given a complete orthomodular lattice X, we associ…
A dagger kernel category of complete orthomodular lattices
Michal Botur, Jan Paseka, Richard Smolka
Dagger kernel categories, a powerful framework for studying quantum phenomena within category theory, provide a rich mathematical structure that naturally encodes key aspects of qu…