The following pages link to Finitary Algebraic Logic (Q3809799):
Displaying 12 items.
- Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras (Q271687) (← links)
- Complexity of equational theory of relational algebras with standard projection elements (Q514569) (← links)
- Interpretability of first-order linear temporal logics in fork algebras (Q817582) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality (Q3460522) (← links)
- Weakly associative relation algebras with projections (Q3619868) (← links)
- Non-finite-axiomatizability results in algebraic logic (Q4032865) (← links)
- Equational Reasoning in Non-Classical Logics (Q4236057) (← links)
- (Q4530145) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
- Finite methods in 1-order formalisms (Q5957909) (← links)
