12 citations · 55 across the 30 of their papers we have counts for
6 papers · 2 filters
Residuated operators and Dedekind-MacNeille completion
Ivan Chajda, Helmut Länger, Jan Paseka
The concept of operator residuation for bounded posets with unary operation was introduced by the first two authors. It turns out that in some cases when these operators are transf…
A representation theorem for quantale valued sup-algebras
Jan Paseka, Radek Šlesinger
With this paper we hope to contribute to the theory of quantales and quantale-like structures. It considers the notion of -sup-algebra and shows a representation theorem for suc…
The groupoid-based logic for lattice effect algebras
I. Chajda, H. Länger, J. Paseka
The aim of the paper is to establish a certain logic corresponding to lattice effect algebras. First, we answer a natural question whether a lattice effect algebra can be represent…
Set Representation of Dynamic De Morgan algebras
Ivan Chajda, Jan Paseka
By a De Morgan algebra is meant a bounded poset equipped with an antitone involution considered as negation. Such an algebra can be considered as an algebraic axiomatization of a p…
Galois connections and tense operators on q-effect algebras
Ivan Chajda, Jan Paseka
For effect algebras, the so-called tense operators were already introduced by Chajda and Paseka. They presented also a canonical construction of them using the notion of a time fra…
Filters on some classes of quantum B-algebras
Michal Botur, Jan Paseka
In this paper, we continue the study of quantum B-algebras with emphasis on filters on integral quantum B-algebras. We then study filters in the setting of pseudo-hoops. First, we…