Galois Connections for Generalized Functions and Relational Constraints

zbMath1080.06002arXiv1508.01567MaRDI QIDQ5701819

Miguel Couceiro

Publication date: 4 November 2005

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

zbMATH Keywords

partial functionsminorsconstraint satisfactionmultivalued functionsGalois connectionsrelational constraintsGalois closed setsGalois operators

Mathematics Subject Classification ID

Operations and polynomials in algebraic structures, primal algebras (08A40) Many-valued logic (03B50) Relational systems, laws of composition (08A02) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (4)

Dualizing clones as models of Lawvere theories. ⋮ Galois connection for multiple-output operations ⋮ A general Galois theory for operations and relations in arbitrary categories ⋮ On a quasi-ordering on Boolean functions

This page was built for publication: Galois Connections for Generalized Functions and Relational Constraints