CORE POINTS IN DOUBLE HEYTING ALGEBRAS AND DISSECTABLE LATTICES

被引：0
|
作者：
EPSTEIN, G [1 ]
HORN, A [1 ]
机构：
[1] UNIV CALIF LOS ANGELES, LOS ANGELES, CA 90024 USA
来源：
ALGEBRA UNIVERSALIS | 1983年 / 16卷 / 02期
关键词：
D O I：
10.1007/BF01191769
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：204 / 218
页数：15
相关论文
共 50 条
  • [21] Subalgebras of Heyting and De Morgan Heyting Algebras
    Valeria Castaño
    Marcela Muñoz Santis
    Studia Logica, 2011, 98 : 123 - 139
  • [22] Inquisitive Heyting Algebras
    Vít Punčochář
    Studia Logica, 2021, 109 : 995 - 1017
  • [23] On skew Heyting algebras
    Cvetko-Vah, Karin
    ARS MATHEMATICA CONTEMPORANEA, 2017, 12 (01) : 37 - 50
  • [24] Profinite Heyting Algebras
    G. Bezhanishvili
    N. Bezhanishvili
    Order, 2008, 25 : 211 - 227
  • [25] Profinite heyting algebras
    Bezhanishvili, G.
    Bezhanishvili, N.
    ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2008, 25 (03): : 211 - 227
  • [26] ON HEYTING ALGEBRAS AND DUAL BCK-ALGEBRAS
    Yon, Y. H.
    Kim, K. H.
    BULLETIN OF THE IRANIAN MATHEMATICAL SOCIETY, 2012, 38 (01) : 159 - 168
  • [27] IN-SYMMETRICAL HEYTING ALGEBRAS
    SAVINI, S
    SEWALD, J
    ZILIANI, A
    ALGEBRA UNIVERSALIS, 1992, 29 (04) : 503 - 512
  • [28] HEYTING-BROUWER ALGEBRAS
    ITURRIOZ, L
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1976, 24 (08): : 551 - 558
  • [29] States on Polyadic Heyting Algebras
    Dragulici, Dumitru Daniel
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2016, 27 (5-6) : 573 - 594
  • [30] Normalisation by Completeness with Heyting Algebras
    Gilbert, Gaetan
    Hermant, Olivier
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, (LPAR-20 2015), 2015, 9450 : 469 - 482
12345