Results 11 to 20 of about 781 (187)
Lagois connections — a counterpart to Galois connections [PDF]
Theoretical Computer Science, 1994 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Austin Melton +2 more
openaire +2 more sources
Galois Connections and Data Mining [PDF]
J. Univers. Comput. Sci., 2000 JUCS - Journal of Universal Computer Science Volume Nr.
Cristofor,Dana +2 more
openaire +5 more sources
Galois Connections for Flow Algebras [PDF]
, 2011 We generalise Galois connections from complete lattices to flow algebras. Flow algebras are algebraic structures that are less restrictive than idempotent semirings in that they replace distributivity with monotonicity and dispense with the annihilation property; therefore they are closer to the approach taken by Monotone Frameworks and other classical
Piotr Filipiuk +3 more
core +4 more sources
Logics from Galois connections [PDF]
International Journal of Approximate Reasoning, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jouni Järvinen +2 more
openaire +3 more sources
Galois connections categorically [PDF]
Journal of Pure and Applied Algebra, 1990 This is an expansion of a previous paper [Lect. Notes Comput. Sci. 239, 122-134 (1986; Zbl 0615.06002)]. It is a somewhat discursive discussion of Galois connections in (briefly) partially ordered sets, concrete categories, and categories. In concrete categories the authors consider only Galois connections commuting with the forgetful functors, which ...
Herrlich, H., Hušek, M.
openaire +3 more sources
The quantale of Galois connections [PDF]
algebra universalis, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Picado, Jorge, Jorge Picado
openaire +5 more sources
Programming from Galois connections [PDF]
The Journal of Logic and Algebraic Programming, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Shin-Cheng Mu, José Nuno Oliveira
openaire +6 more sources
Galois Connections and Applications [PDF]
, 2004 Preface M. Erne Adjunctions and Galois Connections: Origins, History and Development G. Janelidze Categorical Galois Theory: Revision and Some Recent Developments M. Erne The Polarity between Approximation and Distribution K. Denecke, S.L. Wismath Galois Connections and Complete Sublattices R.
Denecke, K, Wismath, S, Erné, M
openaire +3 more sources
, 1997 The paper is the Mizar encoding of the chapter 0 section 3 of [12] In the paper the following concept are defined: Galois connections, Heyting algebras, and Boolean ...
C. Bylinski
openaire +2 more sources
A Constructive Framework for Galois Connections [PDF]
CoRR, 2017 Abstract interpretation-based static analyses rely on abstract domains of program properties, such as intervals or congruences for integer variables. Galois connections (GCs) between posets provide the most widespread and useful formal tool for mathematically specifying abstract domains.
RANZATO, FRANCESCO
openaire +4 more sources