Galois connections

Relating civil engineering concepts intensionally by Galois connections

Published in Manuel Martínez, Raimar Scherer, eWork and eBusiness in Architecture, Engineering and Construction, 2020

This section describes the modelling approach suggested and it clarifies assumptions and central notions including the notion of Galois connections. The modelling approach we are suggesting relies on formal models of the domain concepts of interest. Such models should be abstract enough to apply generally, and specific enough to be informative.Additional concepts may be of interest in order for the concept relation to make sense and be useful.We call such additional concepts the mediating ties. A relation between two concepts c1 and c2 is now defined as a predicate: valueφ: ci x C2 → Bool

Parameterized simplification logic I: reasoning with implications and classes of closure operators

View Article

Journal Information

Published in International Journal of General Systems, 2020

Pablo Cordero, Manuel Enciso, Angel Mora, Vilem Vychodil

The following theorem ensures that the pair of mappings and is an antitone Galois connection between the set of additive S-closure operators with the induced relation ≤ (which is an order relation) and the set of theories with the preorder relation given by ⊢.

Galois connections

Explore chapters and articles related to this topic

Relating civil engineering concepts intensionally by Galois connections

Parameterized simplification logic I: reasoning with implications and classes of closure operators