Abstract
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.
Original language | Undefined |
---|---|
Pages | 110-123 |
Number of pages | 14 |
Publication status | Published - Jan 2000 |
Event | Logic Colloquium 1998 - Prague, Czech Republic Duration: 9 Aug 1998 → 15 Aug 1998 |
Conference
Conference | Logic Colloquium 1998 |
---|---|
Period | 9/08/98 → 15/08/98 |
Other | August 9-15, 1998 |
Keywords
- IR-56168
- EWI-985