Entailment relations and distributive lattices

被引：0
|
作者：
Cederquist, J [1 ]
Coquand, T [1 ]
机构：
[1] Univ London Imperial Coll Sci Technol & Med, London, England
来源：
LOGIC COLLOQUIM '98 | 2000年 / 13卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：127 / 139
页数：13
相关论文
共 50 条
  • [31] ALMOST DISTRIBUTIVE LATTICES
    SWAMY, UM
    RAO, GC
    JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY SERIES A-PURE MATHEMATICS AND STATISTICS, 1981, 31 (JUN): : 77 - 91
  • [32] REMARKS ON DISTRIBUTIVE LATTICES
    VARLET, JC
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1975, 23 (11): : 1143 - 1147
  • [33] ON DISTRIBUTIVE PAIRS IN LATTICES
    MAEDA, S
    ACTA MATHEMATICA HUNGARICA, 1985, 45 (1-2) : 133 - 140
  • [34] COMPLETELY DISTRIBUTIVE LATTICES
    LAMBROU, MS
    FUNDAMENTA MATHEMATICAE, 1983, 119 (03) : 227 - 240
  • [35] Distributive lattices of numberings
    Z. G. Khisamiev
    Algebra and Logic, 2007, 46 : 50 - 61
  • [36] DISTRIBUTIVE NOETHER LATTICES
    ANDERSON, DD
    MICHIGAN MATHEMATICAL JOURNAL, 1975, 22 (02) : 109 - 115
  • [37] Computability of Distributive Lattices
    N. A. Bazhenov
    A. N. Frolov
    I. Sh. Kalimullin
    A. G. Melnikov
    Siberian Mathematical Journal, 2017, 58 : 959 - 970
  • [38] Distributive residuated lattices
    Liviu-Constantin, Holdon
    Luisa-Maria, Nitu
    Gilena, Chiriac
    ANNALS OF THE UNIVERSITY OF CRAIOVA-MATHEMATICS AND COMPUTER SCIENCE SERIES, 2012, 39 (01): : 100 - 109
  • [39] Distributive mereotopology: extended distributive contact lattices
    Tatyana Ivanova
    Dimiter Vakarelov
    Annals of Mathematics and Artificial Intelligence, 2016, 77 : 3 - 41
  • [40] Entailment Relations on Distributions
    van de Wetering, John
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (221): : 58 - 66
12345