12 citations · 55 across the 30 of their papers we have counts for
36 papers
Foulis m-semilattices and their modules
Michal Botur, Jan Paseka, Milan Lekár
Building upon the results of Jacobs, we show that the category OMLatLin of orthomodular lattices and linear maps forms a dagger category. For each orthomodular lattice X, we constr…
Tense logics based on posets
Ivan Chajda, Helmut Länger, Antonio Ledda +2
Not all logical systems can be captured using algebras. We see this in classical logic (formalized by Boolean algebras) and many-valued logics (like Lukasiewicz logic with MV-algeb…
Quantum implications in orthomodular posets
Kadir Emir, Jan Paseka
We show that, for every orthogonal lub-complete poset P, we can introduce multiple-valued implications sharing properties with quantum implications presented for orthomodular latti…
Implication in sharply paraorthomodular and relatively paraorthomodular posets
Ivan Chajda, Davide Fazio, Helmut Länger +2
In this paper we show that several classes of partially ordered structures having paraorthomodular reducts, or whose sections may be regarded as paraorthomodular posets, admit a qu…
Reflectors to quantales
Xia Zhang, Jan Paseka, Jianjun Feng +1
In this paper, we show that marked quantales have a reflection into quantales. To obtain the reflection we construct free quantales over marked quantales using appropriate lower se…
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…