Back to University of Twente portal
Entailment relations and distributive lattices
Cederquist, Jan and Coquand, Thierry (2000) Entailment relations and distributive lattices. In: Logic Colloquium 1998, August 9-15, 1998, Prague, Czech Republic.
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 193Kb |
| 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. |
| Item Type: | Conference or Workshop Item |
| Copyright: | © 2000 Association for Sympolic Logic |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Link to this item: | http://purl.utwente.nl/publications/56168 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page