Pages that link to "Item:Q5052010"
From MaRDI portal
The following pages link to ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010):
Displaying 8 items.
- Conditional equational theories and complete sets of transformations (Q918541) (← links)
- On denotational completeness (Q1575869) (← links)
- Perfect bases for equational theories (Q1904140) (← links)
- Computational completeness of equations over sets of natural numbers (Q2252522) (← links)
- A note on equational theories (Q2710602) (← links)
- (Q3129297) (← links)
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS (Q5059925) (← links)
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY (Q5879187) (← links)