Tarskian Algebraic Logic
T. S. Ahmed
This is a survey article on algebraic logic. It gives a historical
background leading up to a modern perspective. Central problems in
algebraic logic (like the representation problem) are discussed in
connection to other branches of logic, like modal logic, proof theory,
model-theoretic forcing and Gödel's incompleteness results. We
focus
on cylindric algebras which are natural algebras of n-ary relations.
Relation algebras (which are algebras of binary relations) are mostly
only covered insofar as they relate to cylindric algebras. Cylindric
and relation algebras were introduced by Tarski, hence the title of the
article.
Journal on Relation Methods in Computer Science, Vol. 1, pp. 3-26, 2004