Pages that link to "Item:Q1189899"
From MaRDI portal
The following pages link to Algebraization of quantifier logics, an introductory overview (Q1189899):
Displaying 35 items.
- Relational lattices: from databases to universal algebra (Q299191) (← links)
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs (Q450159) (← links)
- Complexity of equational theory of relational algebras with standard projection elements (Q514569) (← links)
- Axiomatizability of positive algebras of binary relations (Q647324) (← links)
- Lambda abstraction algebras: representation theorems (Q674002) (← links)
- The universal theory of first order algebras and various reducts (Q895827) (← links)
- Monadic GMV-algebras (Q938237) (← links)
- Monadic bounded commutative residuated \(\ell\)-monoids (Q943381) (← links)
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- A finite equational axiomatization of the functional algebras for the lambda calculus (Q1283777) (← links)
- Notions of density that imply representability in algebraic logic (Q1295366) (← links)
- A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism (Q1296423) (← links)
- Lambek calculus and its relational semantics: Completeness and incompleteness (Q1314508) (← links)
- Weakly representable but not representable relation algebras (Q1337158) (← links)
- Towards automating duality (Q1343394) (← links)
- Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras (Q1344872) (← links)
- A short proof of representability of fork algebras (Q1389659) (← links)
- Squares in fork arrow logic (Q1402582) (← links)
- On the algebraic models of lambda calculus (Q1583488) (← links)
- A representation theorem for measurable relation algebras (Q1791048) (← links)
- Monadic bounded hoops (Q1797798) (← links)
- Elementary generation and canonicity for varieties of Boolean algebras with operators (Q1906001) (← links)
- A finitely axiomatized formalization of predicate calculus with equality (Q1906674) (← links)
- Directions in generalized quantifier theory (Q1908858) (← links)
- Monadic bounded residuated lattices (Q1943692) (← links)
- Relation algebras of intervals (Q2171260) (← links)
- Representations of distributive lattice-ordered semigroups with binary relations (Q2277499) (← links)
- On fork arrow logic and its expressive power (Q2454871) (← links)
- A note on neat reducts (Q2642524) (← links)
- Undecidable theories of Lyndon algebras (Q2732275) (← links)
- On the definition and the representability of quasi-polyadic equality algebras (Q2793902) (← links)
- Many-dimensional arrow logics (Q3130047) (← links)
- On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality (Q3460522) (← links)
- How many varieties of cylindric algebras are there (Q5367105) (← links)
- On the algebraization of Henkin‐type second‐order logic (Q6094141) (← links)
