The following pages link to (Q3998034):
Displaying 16 items.
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs (Q450159) (← links)
- Some results about neat reducts (Q992010) (← links)
- Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Complexity of equations valid in algebras of relations. II: Finite axiomatizations (Q1377626) (← links)
- The finitely axiomatizable complete theories of non-associative arrow frames (Q1731561) (← links)
- Relation algebras and their application in temporal and spatial reasoning (Q1781107) (← links)
- First order logic without equality on relativized semantics (Q1791054) (← links)
- Logic colloquium '88. Proceedings of the colloquium held in Padova, Italy, August 22-31, 1988 (Q1801274) (← links)
- Undecidability of Algebras of Binary Relations (Q5015973) (← links)
- Interpolation and amalgamation in modal cylindric algebras (Q5149742) (← links)
- How many varieties of cylindric algebras are there (Q5367105) (← links)
- A relation-algebraic approach to the region connection calculus (Q5941063) (← links)
- Relation algebras from cylindric algebras. I (Q5956889) (← links)
- Relation algebras from cylindric algebras. II (Q5956890) (← links)
- Applied neat reducts on some classes of algebras (Q6067741) (← links)
