Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412)
From MaRDI portal
scientific article; zbMATH DE number 6935916
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic |
scientific article; zbMATH DE number 6935916 |
Statements
Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (English)
0 references
13 September 2018
0 references
abstract algebraic logic
0 references
Leibniz hierarchy
0 references
Frege hierarchy
0 references
truth-equational logics
0 references
assertional logics
0 references
Fregean logics
0 references
full generalized models
0 references
unital matrices
0 references
