No label defined (Q4692873)
From MaRDI portal
scientific article; zbMATH DE number 194904
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 194904 |
Statements
5 June 1993
0 references
MV-algebras
0 references
projective objects
0 references
Lukasiewicz logics
0 references
free algebras
0 references
algebraic models of nonclassical propositional logics
0 references
finitely generated algebras
0 references
free products
0 references
dual spaces
0 references
Kripke models
0 references
varieties of algebras
0 references
Heyting algebras
0 references
algebraic models of intuitionistic logic
0 references
Closure algebras
0 references
algebraic models of normal modal logic S4
0 references
Conjugated closure algebras
0 references
Skolem algebras
0 references
bimodal logics
0 references
symmetric intuitionistic logic
0 references
Diagonalisable algebras
0 references
provability logic
0 references
