Entailment relations and distributive lattices

Sam Buss (Editor), J.G. Cederquist, Thierry Coquand, Petr Hajek (Editor), Pavel Pudlak (Editor)

    Research output: Contribution to conferencePaper

    36 Downloads (Pure)


    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 languageUndefined
    Number of pages14
    Publication statusPublished - Jan 2000


    • IR-56168
    • EWI-985

    Cite this

    Buss, S. (Ed.), Cederquist, J. G., Coquand, T., Hajek, P. (Ed.), & Pudlak, P. (Ed.) (2000). Entailment relations and distributive lattices. 110-123.