Abstract | ||
---|---|---|
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 Löb algebras on a ... |
Year | DOI | Venue |
---|---|---|
2015 | 10.1093/jigpal/jzu033 | Logic Journal of the IGPL |
Keywords | Field | DocType |
Subintuitionistic logic,distributive lattice,weak Heyting algebra,Visser algebra,Löb algebra,Heyting algebra | Discrete mathematics,Distributive property,Distributive lattice,Lattice (order),Distributivity,Pure mathematics,Heyting algebra,Mathematics | Journal |
Volume | Issue | ISSN |
23 | 2 | 1367-0751 |
Citations | PageRank | References |
1 | 0.41 | 4 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Majid Alizadeh | 1 | 21 | 5.60 |
Nima Joharizadeh | 2 | 1 | 0.75 |