Counting weak Heyting algebras on finite distributive lattices (Q4644513)
From MaRDI portal
scientific article; zbMATH DE number 6997908
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Counting weak Heyting algebras on finite distributive lattices |
scientific article; zbMATH DE number 6997908 |
Statements
Counting weak Heyting algebras on finite distributive lattices (English)
0 references
8 January 2019
0 references
subintuitionistic logic
0 references
distributive lattice
0 references
weak Heyting algebra
0 references
Visser algebra
0 references
Löb algebra
0 references
Heyting algebra
0 references
