Entailment relations and distributive lattices

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

    Research output: Contribution to conferencePaperpeer-review

    123 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
    EventLogic Colloquium 1998 - Prague, Czech Republic
    Duration: 9 Aug 199815 Aug 1998


    ConferenceLogic Colloquium 1998
    OtherAugust 9-15, 1998


    • IR-56168
    • EWI-985

    Cite this