Counting weak Heyting algebras on finite distributive lattices

被引：3
|
作者：
Alizadeh, Majid [1 ]
Joharizadeh, Nima [1 ]
机构：
[1] Univ Tehran, Stat & Comp Sci, Coll Sci, Tehran, Iran
来源：
LOGIC JOURNAL OF THE IGPL | 2015年 / 23卷 / 02期
关键词：
Subintuitionistic logic; distributive lattice; weak Heyting algebra; Visser algebra; Lob algebra; Heyting algebra;
D O I：
10.1093/jigpal/jzu033
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
Weak Heyting algebras (Celani and Jansana, 2005, Math. Log. Quart., 51, 219-246) encompass subvarieties of the variety of Heyting algebras and subvarieties of the variety of modal algebras, modulo an appropriate translation. In this article, we present an algorithm to construct and count all non-isomorphic weak Heyting algebras, weak Heyting algebras that are Visser algebras and Lob algebras on a given finite distributive lattice.
引用
收藏
页码：247 / 258
页数：12
相关论文
共 50 条
  • [41] PARENTHESIZATIONS OF FINITE DISTRIBUTIVE LATTICES
    GANSNER, ER
    ALGEBRA UNIVERSALIS, 1983, 16 (03) : 287 - 303
  • [42] FINITE PROJECTIVE DISTRIBUTIVE LATTICES
    GRATZER, G
    WOLK, B
    CANADIAN MATHEMATICAL BULLETIN, 1970, 13 (01): : 139 - &
  • [43] The Structure of Finite Distributive Lattices
    Shmatkov V.D.
    Journal of Mathematical Sciences, 2016, 213 (2) : 276 - 280
  • [44] On the Representations of Finite Distributive Lattices
    Siggers, Mark
    KYUNGPOOK MATHEMATICAL JOURNAL, 2020, 60 (01): : 1 - 20
  • [45] ON THE WIDTHS OF FINITE DISTRIBUTIVE LATTICES
    KAHN, J
    SAKS, M
    DISCRETE MATHEMATICS, 1987, 63 (2-3) : 183 - 195
  • [46] Varieties of weak lattices covering the variety of distributive lattices
    Fried, Ervin
    ACTA SCIENTIARUM MATHEMATICARUM, 2009, 75 (3-4): : 377 - 392
  • [47] Counting finite lattices
    Heitzig, J
    Reinhold, J
    ALGEBRA UNIVERSALIS, 2002, 48 (01) : 43 - 53
  • [48] Finite Distributive Concept Algebras
    Bernhard Ganter
    Léonard Kwuida
    Order, 2006, 23 : 235 - 248
  • [49] Counting Finite Lattices
    Jobst Heitzig
    Jürgen Reinhold
    algebra universalis, 2002, 48 : 43 - 53
  • [50] Finite distributive concept algebras
    Ganter, Bernhard
    Kwuida, Leonard
    ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2006, 23 (2-3): : 235 - 248
12345