To any entailment relation [Sco74] we associate a distributive lattice. We use this to 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 to give a logical description of some spaces associated to mathematical structures.
|Number of pages||14|
|Publication status||Published - Jan 2000|
|Event||Logic Colloquium 1998 - Prague, Czech Republic|
Duration: 9 Aug 1998 → 15 Aug 1998
|Conference||Logic Colloquium 1998|
|Period||9/08/98 → 15/08/98|
|Other||August 9-15, 1998|