Entailment relations and distributive lattices

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

    Research output: Contribution to conferencePaperAcademicpeer-review

    46 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

    Keywords

    • IR-56168
    • EWI-985

    Cite this