Entailment relations and distributive lattices

Sam Buss; J.G. Cederquist; Thierry Coquand; Petr Hajek; Pavel Pudlak

Entailment relations and distributive lattices

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

Research output: Contribution to conference › Paper › Academic › peer-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 language	Undefined
Pages	110-123
Number of pages	14
Publication status	Published - Jan 2000

Keywords

IR-56168
EWI-985

Access to Document

cederquist98entailment
open

http://eprints.eemcs.utwente.nl/secure2/985/01/cederquist98entailment.pdf

Cite this

@conference{db3bd804db394f00823f8d331ece8820,

title = "Entailment relations and distributive lattices",

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.",

keywords = "IR-56168, EWI-985",

author = "Sam Buss and J.G. Cederquist and Thierry Coquand and Petr Hajek and Pavel Pudlak",

note = "Imported from DIES",

year = "2000",

month = jan,

language = "Undefined",

pages = "110--123",

}

TY - CONF

T1 - Entailment relations and distributive lattices

AU - Cederquist, J.G.

AU - Coquand, Thierry

A2 - Buss, Sam

A2 - Hajek, Petr

A2 - Pudlak, Pavel

N1 - Imported from DIES

PY - 2000/1

Y1 - 2000/1

N2 - 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.

AB - 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.

KW - IR-56168

KW - EWI-985

M3 - Paper

SP - 110

EP - 123

ER -