Regular monoids generated by two Galois connections.
Relational structures and dependence spaces
Relations binaires, fermetures, correspondances de Galois
Restricted ideals and the groupability property. Tools for temporal reasoning
In the field of automatic proving, the study of the sets of prime implicants or implicates of a formula has proven to be very important. If we focus on non-classical logics and, in particular, on temporal logics, such study is useful even if it is restricted to the set of unitary implicants/implicates [P. Cordero, M. Enciso, and I. de Guzmán: Structure theorems for closed sets of implicates/implicants in temporal logic. (Lecture Notes in Artificial Intelligence 1695.) Springer–Verlag, Berlin 1999]....
Rotations of -lattices
In [2], J. Klimes studied rotations of lattices. The aim of the paper is to research rotations of the so-called -lattices introduced in [3] by V. Snasel.