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 条

[21] Frontal Operators in Weak Heyting Algebras
Celani, Sergio A.
San Martin, Hernan J.
STUDIA LOGICA, 2012, 100 (1-2) : 91 - 114
[22] A characterization of MV-algebras free over finite distributive lattices
Marra, Vincenzo
ARCHIVE FOR MATHEMATICAL LOGIC, 2008, 47 (03) : 263 - 276
[23] PSEUDO-VARIETIES OF FINITE ALGEBRAS ISOMORPHIC TO BOUNDED DISTRIBUTIVE LATTICES
QUACKENBUSH, RW
DISCRETE MATHEMATICS, 1979, 28 (02) : 189 - 192
[24] Heyting Algebras Whose Congruence Lattices Are Boolean
Shen, Xia-Mei
SOUTHEAST ASIAN BULLETIN OF MATHEMATICS, 2015, 39 (05) : 705 - 710
[25] A characterization of MV-algebras free over finite distributive lattices
Vincenzo Marra
Archive for Mathematical Logic, 2008, 47
[26] On Weak Lewis Distributive Lattices
Calomino, Ismael
Celani, Sergio A.
Martin, Hernan J. San
STUDIA LOGICA, 2024,
[27] The endomorphism kernel property in finite distributive lattices and de Morgan algebras
Blyth, TS
Fang, J
Silva, HJ
COMMUNICATIONS IN ALGEBRA, 2004, 32 (06) : 2225 - 2242
[28] The Space of Prime Ordered Filters of Heyting Almost Distributive Lattices
Rao, M. Sambasiva
Rao, G. C.
SOUTHEAST ASIAN BULLETIN OF MATHEMATICS, 2015, 39 (06) : 865 - 875
[29] Locally finite varieties of Heyting algebras
Guram Bezhanishvili
Revaz Grigolia
algebra universalis, 2005, 54 : 465 - 473
[30] An exploration of weak Heyting algebras: Characterization and properties
Perez-Gamez, Francisco
Bejines, Carlos
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2025, 179

← 1 2 3 4 5 →