2-element matrices (Q1168307)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | 2-element matrices |
scientific article |
Statements
2-element matrices (English)
0 references
1981
0 references
strong finite axiomatizability of all 2-valued matrices
0 references
Post's classification
0 references
algebraic properties of 2-element algebras
0 references
equational completeness
0 references
Stone-property
0 references
minimal quasivariety
0 references
matrix free characterization of 2-valued consequences
0 references
lattice of structural consequences
0 references
axiomatization problems for finite algebras and matrices
0 references
propositional consequence with equality
0 references
explicit axiomatizations of 2- valued consequences with equality
0 references
0 references
