On canonicity and completions of weakly representable relation algebras
From MaRDI portal
Publication:5388728
DOI10.2178/jsl/1327068701zbMath1253.03093OpenAlexW2021500898MaRDI QIDQ5388728
Szabolcs Mikulás, I. M. Hodkinson
Publication date: 19 April 2012
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.jsl/1327068701
Cites Work
- Unnamed Item
- Relation algebras by games
- A sequent calculus for relation algebras
- Cylindric algebras. Part II
- Weakly representable but not representable relation algebras
- Atom structures of cylindric algebras and relation algebras
- Axiomatizability of reducts of algebras of relations
- The equational theory of union-free algebras of relations
- Arguesian lattices which are not type-1
- Varieties of complex algebras
- Weakly representable relation algebras form a variety
- Weak representations of relation algebras and relational bases
- Representation of Modular Lattices and Of Relation Algebras
- Relativised quantification: Some canonical varieties of sequence-set algebras
- Arguesian lattices which are not linear
- Completions of B<scp>OOLEAN</scp> Algebras with operators
- Properties of Tense Logics
- MacNeille completions and canonical extensions
- Boolean Algebras with Operators. Part I