Expressibility of properties of relations

DOI10.2307/2275768zbMath0842.03045OpenAlexW2022352899MaRDI QIDQ4858829

Istvan Németi, Hajnalka Andréka, Ivo Duentsch

Publication date: 24 July 1996

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

Full work available at URL: https://doi.org/10.2307/2275768

zbMATH Keywords

transitivityrelation algebraalgebras of relationstrivialityrelation-preserving permutations

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (2)

A relation-algebraic approach to the region connection calculus ⋮ Modal languages and bounded fragments of predicate logic

Uses Software

• nauty

Cites Work

• Unnamed Item
• Definability with bounded number of bound variables
• Cylindric algebras. Part II
• Upper and lower bounds for first order expressibility
• Infinitary logics and 0-1 laws
• A microcomputer based system for small relation algebras
• A nonpermutational integral relation algebra
• Properties of almost all graphs and complexes
• Boolean Algebras with Operators

This page was built for publication: Expressibility of properties of relations