A characterization of polarities whose polar lattice is orthomodular
A constructive characterization of the lattices of all retractions, preclosure, quasi-closure and closure operators on a complete lattice
A counterexample to a result concerning closure operators.
A Galois connection between distance functions and inequality relations
Following the ideas of R. DeMarr, we establish a Galois connection between distance functions on a set and inequality relations on . Moreover, we also investigate a relationship between the functions of and .
A Galois correspondence for boolean algebras
A Galois correspondence for universal algebras
A selection theorem for Boolean correspondences.
Adjoint Semilattice and Minimal Brouwerian Extensions of a Hilbert Algebra
Let be a Hilbert algebra. The monoid of all unary operations on generated by operations , which is actually an upper semilattice w.r.t. the pointwise ordering, is called the adjoint semilattice of . This semilattice is isomorphic to the semilattice of finitely generated filters of , it is subtractive (i.e., dually implicative), and its ideal lattice is isomorphic to the filter lattice of . Moreover, the order dual of the adjoint semilattice is a minimal Brouwerian extension of , and the...
Algebraische Hüllenoperatoren, bei denen jede endliche Menge durch die Menge ihrer isolierten Elemente erzeugt wird
Amoeba relation and Galois-Tukey connections
An analogue of the Krein-Milman theorem for star-shaped sets.
An approach to a dual of regular closure operators
An embedding problem and its application in linguistics
Aplicaciones de Galois en conjuntos ordenados y en retículos.
Applications galoisiennes proches d'une application entre treillis
Approximable concepts, Chu spaces, and information systems.
Axiomatiques et propriétés des quasi-ordres
Boolean algebras with a unary operator
Boolean concept lattices and good contexts
Bourbaki's Fixpoint Lemma reconsidered
A constructively valid counterpart to Bourbaki’s Fixpoint Lemma for chain-complete partially ordered sets is presented to obtain a condition for one closure system in a complete lattice to be stable under another closure operator of . This is then used to deal with coproducts and other aspects of frames.