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 (pp. pp. 110-123).

open access
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
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/56168
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page