14 results
THERE IS NO FINITE-VARIABLE EQUATIONAL AXIOMATIZATION OF REPRESENTABLE RELATION ALGEBRAS OVER WEAKLY REPRESENTABLE RELATION ALGEBRAS
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 12 August 2016, pp. 511-521
- Print publication:
- September 2016
-
- Article
- Export citation
Weak representations of relation algebras and relational bases
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 3 / September 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 870-882
- Print publication:
- September 2011
-
- Article
- Export citation
RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 22 January 2010, pp. 41-70
- Print publication:
- March 2010
-
- Article
- Export citation
RELEVANCE LOGICS AND RELATION ALGEBRAS
-
- Journal:
- The Review of Symbolic Logic / Volume 2 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 01 March 2009, pp. 102-131
- Print publication:
- March 2009
-
- Article
- Export citation
Eric Schechter. Classical and nonclassical logic: an introduction to the mathematics of propositions. Princeton University Press, Princeton and Oxford, 2005, x + 507 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 308-309
- Print publication:
- June 2006
-
- Article
- Export citation
Anita Burdman Feferman and Solomon Feferman. Alfred Tarski, Life and Logic Cambridge University Press, Cambridge, 2004, vi + 425 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 535-540
- Print publication:
- December 2005
-
- Article
- Export citation
Robin Hirsch and Ian Hodkinson. Relation algebras by games. Elsevier, Amsterdam, 2002, xviii + 691 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 515-520
- Print publication:
- December 2003
-
- Article
- Export citation
H. Andréka, S. Givant, and I. Németi. Decision problems for equational theories of relation algebras. Memoirs of the American Mathematical Society, vol. 126, no. 604. American Mathematical Society, Providence, March 1997, xiv + 126 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 37-39
- Print publication:
- March 2003
-
- Article
- Export citation
Provability with Finitely Many Variables
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 3 / September 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 348-379
- Print publication:
- September 2002
-
- Article
- Export citation
Relation algebra reducts of cylindric algebras and an application to proof theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 197-213
- Print publication:
- March 2002
-
- Article
- Export citation
Undecidable semiassociative relation algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 2 / June 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 398-418
- Print publication:
- June 1994
-
- Article
- Export citation
Relation algebras of every dimension
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1213-1229
- Print publication:
- December 1992
-
- Article
- Export citation
Nonfinite axiomatizability results for cylindric and relation algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 951-974
- Print publication:
- September 1989
-
- Article
- Export citation
Leon Henkin, J. Donald Monk, and Alfred Tarski. Cylindric algebras. Part II. Studies in logic and the foundations of mathematics, vol. 115. North-Holland, Amsterdam, New York, and Oxford, 1985, ix + 302 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 651-653
- Print publication:
- June 1988
-
- Article
- Export citation