On canonicity and completions of weakly representable relation algebras
Journal of Symbolic Logic 77 (1):245-262 (2012)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesVera Stebletsova (2000). Weakly Associative Relation Algebras with Polyadic Composition Operations. Studia Logica 66 (2):297-323.
Roger D. Maddux (1989). Nonfinite Axiomatizability Results for Cylindric and Relation Algebras. Journal of Symbolic Logic 54 (3):951-974.
Robin Hirsch & Ian Hodkinson (1997). Step by Step-Building Representations in Algebraic Logic. Journal of Symbolic Logic 62 (1):225-279.
Robin Hirsch & Ian Hodkinson (1997). Complete Representations in Algebraic Logic. Journal of Symbolic Logic 62 (3):816-847.
Hajnal Andréka, Steven Givant & István Németi (1994). The Lattice of Varieties of Representable Relation Algebras. Journal of Symbolic Logic 59 (2):631-661.
Tarek Sayed Ahmed (2008). On Complete Representations of Reducts of Polyadic Algebras. Studia Logica 89 (3):325 - 332.
Hiroakira Ono (2012). Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics. Studia Logica 100 (1-2):339-359.
H. Andréka, I. Hodkinson & I. Németi (1999). Finite Algebras of Relations Are Representable on Finite Sets. Journal of Symbolic Logic 64 (1):243-267.
I. Németi & A. Simon (2009). Weakly Higher Order Cylindric Algebras and Finite Axiomatization of the Representables. Studia Logica 91 (1):53 - 62.
Robin Hirsch & Ian Hodkinson (2009). Strongly Representable Atom Structures of Cylindric Algebras. Journal of Symbolic Logic 74 (3):811-828.
Anatolij Dvurečenskij (2001). States on Pseudo MV-Algebras. Studia Logica 68 (3):301-327.
Gábor Sági (2002). A Note on Algebras of Substitutions. Studia Logica 72 (2):265-284.
Andrei Popescu (2005). Łukasiewicz-Moisil Relation Algebras. Studia Logica 81 (2):167 - 189.
Steven Givant & Hajnal Andreka (2002). Groups and Algebras of Binary Relations. Bulletin of Symbolic Logic 8 (1):38-64.
István Németi & Gábor Sági (2000). On the Equational Theory of Representable Polyadic Equality Algebras. Journal of Symbolic Logic 65 (3):1143-1167.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2012-01-21Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
