The following pages link to (Q4011708):
Displaying 4 items.
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- First order logic without equality on relativized semantics (Q1791054) (← links)
- An algebraic approach to temporal logic (Q5096734) (← links)
