Various characterizations of finite convex geometries
are well known. This note provides similar characterizations for
possibly infinite convex geometries whose lattice of closed sets is
strongly coatomic and lower ...
Representation of convex geometry as an appropriate join of compatible
orderings of the base set can be achieved, when closure operator of
convex geometry is algebraic, or finitary. This bears to the finite case proved
by ...
Discovery of (strong) association rules, or implications, is an important
task in data management, and it nds application in arti cial intelligence,
data mining and the semantic web. We introduce a novel approach
for ...
For a class C of finite lattices, the question arises whether any
lattice in C can be embedded into some atomistic, biatomic lattice in C. We
provide answers to the question above for C being, respectively,
— The class ...
We give two sufficient conditions for the lattice Co(Rn,X) of rel-
atively convex sets of Rn to be join-semidistributive, where X is a finite union
of segments. We also prove that every finite lower bounded lattice can ...
We show that for every quasivariety K of structures (where
both functions and relations are allowed) there is a semilattice S with
operators such that the lattice of quasi-equational theories of K (the dual
of the lattice ...
Part I proved that for every quasivariety K of structures
(which may have both operations and relations) there is a semilattice
S with operators such that the lattice of quasi-equational theories of
K (the dual of the ...
Let L be a join-distributive lattice with length n and width (Ji L) k.
There are two ways to describe L by k − 1 permutations acting on an n-element set:
a combinatorial way given by P.H. Edelman and R. E. Jamison in ...
Let V be a variety of algebras. We establish a condition (so called
generalized entropic property), equivalent to the fact that for every algebra
A 2 V, the set of all subalgebras of A is a subuniverse of the complex ...
We show that every optimum basis of a nite closure system,
in D. Maier's sense, is also right-side optimum, which is a parameter of a
minimum CNF representation of a Horn Boolean function. New parameters
for the size ...
A convex geometry is a closure space satisfying the anti-exchange axiom. For several
types of algebraic convex geometries we describe when the collection of closed sets is order scattered, in terms of obstructions to the ...
Convex geometries form a subclass of closure systems with unique
criticals, or UC-systems. We show that the F-basis introduced in [6] for UC-
systems, becomes optimum in convex geometries, in two essential parts of ...
Closure system on a nite set is a unifying concept in logic programming,
relational data bases and knowledge systems. It can also be presented
in the terms of nite lattices, and the tools of economic description of a
...
The Edelman-Jamison problem is to characterize those abstract
convex geometries that are representable by a set of points in the plane. We
show that some natural modification of the Edelman-Jamison problem is equivalent
to ...
A closure system with the anti-exchange axiom is called a convex
geometry. One geometry is called a sub-geometry of the other if its closed sets
form a sublattice in the lattice of closed sets of the other. We prove that ...
An assosiahedron Kn, known also as Stasheff polytope, is a multifaceted
combinatorial object, which, in particular, can be realized as a convex
hull of certain points in Rn, forming (n − 1)-dimensional polytope1.
A ...