No label defined (Q4944905)

An entailment relation \(\vdash\) on a set \(S\) is a relation between finite subsets of \(S\) satisfying: (a) \(X\vdash Y\) if \(X\cap Y\) is inhabited; (b) if \(X\vdash Y\) then \(X\cup X'\vdash Y\cup X'\); and (c) if \(X \vdash \{s\}\cup Z\) and \(X\cup\{s\} \vdash Z\), then \(X\vdash Z\). In this paper, a distributive lattice is associated to any entailment relation. Using this, the authors give a construction of the product of lattices over an arbitrary index set, of the Vietoris construction, of the embedding of a distributive lattice in a Boolean algebra, and they give a logical description of some spaces associated to mathematical structures. For the entire collection see [Zbl 0932.00038].