No label defined (Q4692873)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 194904
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7855244874954224
0 references
0.7709000110626221
0 references
0.767687201499939
0 references
0.7592238783836365
0 references
