Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412)
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 6935916
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7668144106864929
0 references
0.7538769245147705
0 references
0.7524166703224182
0 references
0.7503688335418701
0 references
