Axiomatizing logics closely related to varieties (Q1189901)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Axiomatizing logics closely related to varieties |
scientific article |
Statements
Axiomatizing logics closely related to varieties (English)
0 references
27 September 1992
0 references
logic defined by matrices
0 references
strongly finitely based variety of algebras
0 references
axiomatization criterion
0 references
