ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS

DOI10.1017/jsl.2016.32zbMath1422.03133arXiv1604.04655OpenAlexW3103251134MaRDI QIDQ5361138

Peter Jipsen, Istvan Németi, Hajnalka Andréka, Steven Givant

Publication date: 27 September 2017

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1604.04655

zbMATH Keywords

axiom systemrelation algebracalculus of relationsindependence modelindependent axiom system

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Model theory of finite structures (03C13) Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

Quasi-polyadic algebras and their dual position

Uses Software

• Prover9
• Mace4

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relation algebras by games
• Necessary subalgebras of simple nonintegral semiassociative relation algebras
• The representation of relation algebras. II
• A sequent calculus for relation algebras
• Varieties of relation algebras
• Relation algebras
• On representable relation algebras
• Representations of integral relation algebras
• Some Varieties Containing Relation Algebras
• Pair-Dense Relation Algebras
• Boolean Algebras with Operators
• Relational Algebra and Uniform Spaces^*