Weakly associative relation algebras with projections
From MaRDI portal
Publication:3619868
DOI10.1002/malq.200710074zbMath1168.03051MaRDI QIDQ3619868
Publication date: 9 April 2009
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200710074
03D35: Undecidability and degrees of sets of sentences
03B25: Decidability of theories and sets of sentences
03G15: Cylindric and polyadic algebras; relation algebras
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Relation algebras by games
- Connections between quasi-projective relation algebras and cylindric algebras
- On varieties of cylindric algebras with applications to logic
- Some sufficient conditions for the representability of relation algebras
- Arrow logic and infinite counting
- Some Varieties Containing Relation Algebras
- Decidability of Relation Algebras with Weakened Associativity
- Finitary Algebraic Logic
- Pair-Dense Relation Algebras
- Finite algebras of relations are representable on finite sets
- Finitary algebraic logic II
- Hilbert's Tenth Problem is Unsolvable