An undecidability result for relation algebras

Journal of Symbolic Logic 44 (1):111-115 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273710

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Undecidability of representability as binary relations.Robin Hirsch & Marcel Jackson - 2012 - Journal of Symbolic Logic 77 (4):1211-1244.
Undecidability of the first order theories of free noncommutative lie algebras.Olga Kharlampovich & Alexei Myasnikov - 2018 - Journal of Symbolic Logic 83 (3):1204-1216.
More on an Undecidability Result of Bateman, Jockusch and Woods.M. Boffa - 1998 - Journal of Symbolic Logic 63 (1):50-50.
Undecidability of consequence relation in full non-associative Lambek calculus.Karel Chvalovský - 2015 - Journal of Symbolic Logic 80 (2):567-586.
Undecidable semiassociative relation algebras.Roger D. Maddux - 1994 - Journal of Symbolic Logic 59 (2):398-418.
Nonfinite axiomatizability results for cylindric and relation algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
Amalgamation in relation algebras.Maarten Marx - 1998 - Journal of Symbolic Logic 63 (2):479-484.
Amalgamation in Relation Algebras.Maarten Marx - 1998 - Journal of Symbolic Logic 63 (2):479-484.
On Representable Relation Algebras.Donald Monk - 1966 - Journal of Symbolic Logic 31 (3):508-508.
Relation Algebras and Projective Geometry.R. C. Lyndon - 1967 - Journal of Symbolic Logic 32 (2):275-276.

Analytics

Added to PP
2009-01-28

Downloads
15 (#947,808)

6 months
6 (#700,231)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On varieties of cylindric algebras with applications to logic.I. Németi - 1987 - Annals of Pure and Applied Logic 36:235-277.
Dynamic logic with program specifications and its relational proof system.Ewa Orlowska - 1993 - Journal of Applied Non-Classical Logics 3 (2):147-171.

Add more citations

References found in this work

No references found.

Add more references