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 条

[1] Effective categoricity for distributive lattices and Heyting algebras
Bazhenov N.A.
Lobachevskii Journal of Mathematics, 2017, 38 (4) : 600 - 614
[2] Bitopological duality for distributive lattices and Heyting algebras
Bezhanishvili, Guram
Bezhanishvili, Nick
Gabelaia, David
Kurz, Alexander
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2010, 20 (03) : 359 - 393
[3] On self-distributive weak Heyting algebras
Nourany, Mohsen
Ghorbani, Shokoofeh
Saeid, Arsham Borumand
MATHEMATICAL LOGIC QUARTERLY, 2023, 69 (02) : 192 - 206
[4] UNIVERSAL TERMS FOR PSEUDO-COMPLEMENTED DISTRIBUTIVE LATTICES AND HEYTING ALGEBRAS
ADAMS, ME
CLARK, DM
LECTURE NOTES IN MATHEMATICS, 1985, 1149 : 1 - 16
[5] HOMOMORPHISMS AND ENDOMORPHISMS IN VARIETIES OF PSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICES (WITH APPLICATIONS TO HEYTING ALGEBRAS)
ADAMS, ME
KOUBEK, V
SICHLER, J
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1984, 285 (01) : 57 - 79
[6] Chain algebras of finite distributive lattices
Gasanova, Oleksandra
Nicklasson, Lisa
JOURNAL OF ALGEBRAIC COMBINATORICS, 2024, 59 (02) : 473 - 494
[7] Partial algebras and complexity of satisfiability and universal theory for distributive lattices, boolean algebras and Heyting algebras
van Alten, C. J.
THEORETICAL COMPUTER SCIENCE, 2013, 501 : 82 - 92
[8] Chain algebras of finite distributive lattices
Oleksandra Gasanova
Lisa Nicklasson
Journal of Algebraic Combinatorics, 2024, 59 : 473 - 494
[9] DISTRIBUTIVE CONGRUENCE LATTICES OF FINITE-ALGEBRAS
PALFY, PP
ACTA SCIENTIARUM MATHEMATICARUM, 1987, 51 (1-2): : 153 - 162
[10] Semi Heyting Almost Distributive Lattices
Rao, G. C.
Ratnamani, M. V.
Shum, K. P.
Assaye, Berhanu
LOBACHEVSKII JOURNAL OF MATHEMATICS, 2015, 36 (02) : 184 - 189

← 1 2 3 4 5 →