Abstract

. This work is an introduction: in particular, to algebras of relations of various ranks, and in general, to the part of algebraic logic algebraizing quantifier logics as well as those propositional logics (like modal logics) in the semantics of which theories of relations play an essential role. This work has a survey character, too. The most frequently used algebras like cylindric--, relation--, polyadic--, and quasi--polyadic algebras are carefully introduced and intuitively explained for the nonspecialist. Their variants, connections with logic, abstract model theory, and further algebraic logics are also reviewed. Efforts were made to make the review part relatively comprehensive. In some directions we tried to give an overview of the most recent results and research trends, too. Contents 1. Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 2. Gett...

Citations

4	A complete natural deduction system for the relation calculus. Theory of Computing Report 5 - Wadge - 1975
3	On a form of equational interpolation property, Foundations in logic and linguistics - Wroński - 1984
2	Halmos algebras and relational algebras - Volkov
2	equivalence between categories of Halmos algebras and of relational algebras - Volkov, On - 1993
1	The transition from a relation algebra to a Halmos algebra, In: "Algebra and Discrete Mathematics: Theoretical Foundations of Software", (in - Volkov - 1986
1	of Halmos polyadic algebras in relational algebras (in - Volkov, Operations - 1988
1	Filters in relational algebras and in Halmos polyadic algebras (in - Volkov - 1988
1	algebras, Akademie - Werner, Discriminator - 1978
1	notes on locally finite cylindric algebras - Zlatos, Two - 1984
1	On conceptual completeness of syntactic-semantical systems, Periodica Math. Hungar. Vol 16,3 - Zlatos - 1985