Switch to: Citations

Add references

You must login to add references.
  1. Expressibility of properties of relations.Hajnal Andréka, Ivo Düntsch & István Németi - 1995 - Journal of Symbolic Logic 60 (3):970-991.
    We investigate in an algebraic setting the question of which logical languages can express the properties integral, permutational, and rigid for algebras of relations.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Algebraic Logic.H. Andréka, James Donald Monk & I. Németi - 1991 - North Holland.
    This volume is not restricted to papers presented at the 1988 Colloquium, but instead aims to provide the reader with a (relatively) coherent reading on Algebraic Logic, with an emphasis on current research. To help the non-specialist reader, the book contains an introduction to cylindric and relation algebras by Roger D. Maddux and an introduction to Boolean Algebras by Bjarni Joacute;nsson.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • (1 other version)George Grätzer. Universal algebra. D. Van Nostrand Company, Inc., Princeton etc. 1968, xvi + 368 pp. [REVIEW]Kirby A. Baker - 1973 - Journal of Symbolic Logic 38 (4):643-644.
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Universal Algebra.George Grätzer - 1982 - Studia Logica 41 (4):430-431.
    Download  
     
    Export citation  
     
    Bookmark   105 citations  
  • Representations for small relation algebras.Hajnal Andr Eka & Roger D. Maddux - 1994 - Notre Dame Journal of Formal Logic 35 (4).
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Representations for Small Relation Algebras.Hajnal Andréka & Roger D. Maddux - 1994 - Notre Dame Journal of Formal Logic 35 (4):550-562.
    There are eighteen isomorphism types of finite relation algebras with eight or fewer elements, and all of them are representable. We determine all the cardinalities of sets on which these algebras have representations.
    Download  
     
    Export citation  
     
    Bookmark   4 citations