No label defined (Q4936636)
From MaRDI portal
scientific article; zbMATH DE number 1396683
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1396683 |
Statements
31 January 2000
0 references
normal modal logic
0 references
superintuitionistic logic
0 references
Beth definability property
0 references
interpolation property
0 references
pseudoboolean algebra
0 references
modal algebra
0 references
varieties of algebras
0 references
Heyting algebras
0 references
