Pages that link to "Item:Q1217805"
From MaRDI portal
The following pages link to A simple, purely algebraic proof of the completeness of some first order logics (Q1217805):
Displaying 9 items.
- On conceptual completeness of syntactic-semantical systems (Q798654) (← links)
- The universal theory of first order algebras and various reducts (Q895827) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Representable cylindric algebras (Q1821100) (← links)
- The contributions of Alfred Tarski to algebraic logic (Q3029010) (← links)
- On representability of neatly embeddable cylindric algebras (Q4443403) (← links)
- Cylindric modal logic (Q4842635) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)