Facteurs et plans. II : plans quasi-complets
Fan-Gottesman type compactification of frames
Fantastic filters of lattice implication algebras.
Filters and Simple Graphic Algebras.
Finite atomistic lattices that can be represented as lattices of quasivarieties
We prove that a finite atomistic lattice can be represented as a lattice of quasivarieties if and only if it is isomorphic to the lattice of all subsemilattices of a finite semilattice. This settles a conjecture that appeared in the context of [11].
Finite dimensional completions in Noether lattices
Finite hull systems and their implication bases. (Endliche Hüllensysteme und ihre Implikationenbasen.)
Finite orders and their minimal strict completion lattices
Whereas the Dedekind-MacNeille completion D(P) of a poset P is the minimal lattice L such that every element of L is a join of elements of P, the minimal strict completion D(P)∗ is the minimal lattice L such that the poset of join-irreducible elements of L is isomorphic to P. (These two completions are the same if every element of P is join-irreducible). In this paper we study lattices which are minimal strict completions of finite orders. Such lattices are in one-to-one correspondence with finite...
Finite-distributive atomistic lattices
Finitely generated almost universal varieties of -lattices
A concrete category is (algebraically) universal if any category of algebras has a full embedding into , and is almost universal if there is a class of -objects such that all non-constant homomorphisms between them form a universal category. The main result of this paper fully characterizes the finitely generated varieties of -lattices which are almost universal.
Finitely generated almost universal varieties of 0-lattices.
Fixed edge theorems for complete lattices
Fixed point characterization of completeness on lattices for relatively isotone mappings
Fixed points of inequality-preserving maps in complete lattices
Fixed Points Of Monotone Multifunctions In Partially Ordered Sets
Flat semilattices
Formalization of Generalized Almost Distributive Lattices
Almost Distributive Lattices (ADL) are structures defined by Swamy and Rao [14] as a common abstraction of some generalizations of the Boolean algebra. In our paper, we deal with a certain further generalization of ADLs, namely the Generalized Almost Distributive Lattices (GADL). Our main aim was to give the formal counterpart of this structure and we succeeded formalizing all items from the Section 3 of Rao et al.’s paper [13]. Essentially among GADLs we can find structures which are neither V-commutative...
Four notes on quasiorder lattices
Frame tolerances are directly decomposable
Frattini sublattices in varieties of lattices