Binary Relations and Permutation Groups

DOI10.1002/malq.19950410207zbMath0823.03036OpenAlexW2171532310MaRDI QIDQ4835524

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

Publication date: 6 June 1995

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19950410207

zbMATH Keywords

Galois connectionpermutation groupsfirst order logicGalois closureclones of operationsset relation algebras

Mathematics Subject Classification ID

Classical first-order logic (03B10) Operations and polynomials in algebraic structures, primal algebras (08A40) Cylindric and polyadic algebras; relation algebras (03G15) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Permutation groups (20B99)

Related Items (2)

A relation-algebraic approach to the region connection calculus ⋮ Relation algebras and their application in temporal and spatial reasoning

Uses Software

• nauty

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Binary Relations and Permutation Groups