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

    77 Downloads (Pure)

    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 languageUndefined
    Pages110-123
    Number of pages14
    Publication statusPublished - Jan 2000
    EventLogic Colloquium 1998 - Prague, Czech Republic
    Duration: 9 Aug 199815 Aug 1998

    Conference

    ConferenceLogic Colloquium 1998
    Period9/08/9815/08/98
    OtherAugust 9-15, 1998

    Keywords

    • IR-56168
    • EWI-985

    Cite this