An undecidability result for relation algebras
From MaRDI portal
Publication:4193433
DOI10.2307/2273710zbMath0407.03019OpenAlexW2162319107MaRDI QIDQ4193433
Publication date: 1979
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273710
Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25) Equational classes, universal algebra in model theory (03C05) Other classical set theory (including functions, relations, and set algebra) (03E20)
Related Items (4)
Bjarni Jónsson's contributions in algebra ⋮ On varieties of cylindric algebras with applications to logic ⋮ Dynamic logic with program specifications and its relational proof system ⋮ Relation algebras: Concept of points and representability
Cites Work
This page was built for publication: An undecidability result for relation algebras
