Binary Relations and Permutation Groups

DOI10.1002/MALQ.19950410207MaRDI QIDQ4835524zbMATH OpenOpenAlexFDO

Authors István Németi, Hajnal Andréka, Ivo Düntsch

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

clones of operationsfirst order logicGalois closureGalois connectionpermutation groupsset relation algebras

Mathematics Subject Classification ID

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

Recommendations

• Relation Algebras and Finite Permutation Groups
• scientific article; zbMATH DE number 278883
• scientific article; zbMATH DE number 3869395
• Expressibility of properties of relations
• scientific article; zbMATH DE number 1533634

Cited in

(6)

• Relation algebras and their application in temporal and spatial reasoning
• scientific article; zbMATH DE number 4218123 (Why is no real title available?)
• Relation Algebras and Finite Permutation Groups
• Expressibility of properties of relations
• The lattice and semigroup structure of multipermutations
• A relation-algebraic approach to the region connection calculus

Describes a project that uses

Uses Software

• nauty

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4835524)