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] Small representations of finite distributive lattices as congruence lattices (vol 123, pg 1959, 1995)
    Gratzer, G
    Rival, I
    Zaguia, N
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1998, 126 (08) : 2509 - 2510
  • [42] Bounded distributive lattices with strict implication
    Celani, S
    Jansana, R
    MATHEMATICAL LOGIC QUARTERLY, 2005, 51 (03) : 219 - 246
  • [43] Profiniteness and representability of spectra of Heyting algebras
    Bezhanishvili, G.
    Bezhanishvili, N.
    Moraschini, T.
    Stronkowski, M.
    ADVANCES IN MATHEMATICS, 2021, 391
  • [44] Computability of Distributive Lattices
    Bazhenov, N. A.
    Frolov, A. N.
    Kalimullin, I. Sh.
    Melnikov, A. G.
    SIBERIAN MATHEMATICAL JOURNAL, 2017, 58 (06) : 959 - 970
  • [45] On the number of distributive lattices
    Erne, Marcel
    Heitzig, Jobst
    Reinhold, Juergen
    ELECTRONIC JOURNAL OF COMBINATORICS, 2002, 9
  • [46] Evolution on distributive lattices
    Beerenwinkel, Niko
    Eriksson, Nicholas
    Sturmfels, Bernd
    JOURNAL OF THEORETICAL BIOLOGY, 2006, 242 (02) : 409 - 420
  • [47] Characteristic Formulas of Partial Heyting Algebras
    Citkin, Alex
    LOGICA UNIVERSALIS, 2013, 7 (02) : 167 - 193
  • [48] Discrete dualities for Heyting algebras with operators
    Orlowska, Ewa
    Rewitzky, Ingrid
    FUNDAMENTA INFORMATICAE, 2007, 81 (1-3) : 275 - 295
  • [49] On Some Compatible Operations on Heyting Algebras
    Ertola Biraben, R. C.
    San Martin, H. J.
    STUDIA LOGICA, 2011, 98 (03) : 331 - 345
  • [50] Computability of Distributive Lattices
    N. A. Bazhenov
    A. N. Frolov
    I. Sh. Kalimullin
    A. G. Melnikov
    Siberian Mathematical Journal, 2017, 58 : 959 - 970
12345