16 citations · 44 across the 22 of their papers we have counts for
23 papers
Orthogonal adjointness in posets with
Michal Botur, Ivan Chajda, Helmut Länger
Motivated by the concept of polarity introduced by G. Birkhoff for a binary relation on a set, we introduce a concept of orthogonality in a poset with . A pair of operators ,…
Quantales carrying ortholattice structure
Michal Botur, David Kruml, Jan Paseka
This paper investigates the intersection of residuated structures from many-valued logic and orthomodular lattices from quantum logic. We explore whether non-Boolean structures can…
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…
Beyond wreath and block
Michal Botur, Tomasz Kowalski
We investigate a semigroup construction generalising the two-sided wreath product. We develop the foundations of this construction and show that for groups it is isomorphic to the…
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…