A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168)
From MaRDI portal
scientific article; zbMATH DE number 6986407
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS |
scientific article; zbMATH DE number 6986407 |
Statements
A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (English)
0 references
29 November 2018
0 references
Leibniz operator
0 references
abstract algebraic logic
0 references
Leibniz hierarchy
0 references
implicit definability
0 references
