Results 111 to 120 of about 304 (134)
Some of the next articles are maybe not open access.
On the structure of cross connections and Galois connections
Korean Journal of Computational & Applied Mathematics, 1995We consider partially ordered set as passing from the set of ideals to the set of filters in Cartesian product of partially ordered sets. Lawson introduced the concept of cross connection with the ideal and filter. We show the relation between Galois connection and cross connection.
openaire +1 more source
Non-constructive Galois-Tukey connections
Journal of Symbolic Logic, 1997AbstractThere are inequalities between cardinal characteristics of the continuum that are true in any model of ZFC, but without a Borel morphism proving the inequality. We answer some questions from Blass [1].
openaire +3 more sources
Galois connections and data analysis
Fundam. Informaticae, 2004Summary: We investigate Galois connections and their relations to the major theories of (qualitative) data analysis: Rough Set Theory (RST), Formal Concept Analysis (FCA) and John Stuart Mill Reasoning (JSM-Reasoning). Polarities, a type of contravariant Galois connections, and their relationships with data analysis has been already well-known.
openaire +2 more sources
A Galois Connection Approach to Wei-Type Duality Theorems
IEEE Transactions on Information Theory, 2022Han G, Yang Xu
exaly
Granular computing and dual Galois connection
Information Sciences, 2007Yee Leung, Wen-Xiu Zhang
exaly
A galois connection calculus for abstract interpretation
ACM SIGPLAN Notices, 2014Radhia Cousot
exaly
A Galois Connection for Weighted (Relational) Clones of Infinite Size
ACM Transactions on Computation Theory, 2016Stanislav Zivny, Peter Fullá
exaly