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 条

[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] Heyting Algebras Whose Congruence Lattices Are Boolean
Shen, Xia-Mei
SOUTHEAST ASIAN BULLETIN OF MATHEMATICS, 2015, 39 (05) : 705 - 710
[4] Counting weak Heyting algebras on finite distributive lattices
Alizadeh, Majid
Joharizadeh, Nima
LOGIC JOURNAL OF THE IGPL, 2015, 23 (02) : 247 - 258
[5] Quasi-Heyting algebras: A new class of lattices
Miller, WD
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1998, 37 (01) : 115 - 119
[6] Quasi-Heyting Algebras: A New Class of Lattices
William David Miller
International Journal of Theoretical Physics, 1998, 37 : 115 - 119
[7] DISCRIMINATOR VARIETIES OF DOUBLE-HEYTING ALGEBRAS
Taylor, Christopher J.
REPORTS ON MATHEMATICAL LOGIC, 2016, 51 : 3 - 14
[8] Double Negation Semantics for Generalisations of Heyting Algebras
Arthan, Rob
Oliva, Paulo
STUDIA LOGICA, 2021, 109 (02) : 341 - 365
[9] Double Negation Semantics for Generalisations of Heyting Algebras
Rob Arthan
Paulo Oliva
Studia Logica, 2021, 109 : 341 - 365
[10] 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

← 1 2 3 4 5 →