Results 21 to 30 of about 781 (187)
Galois Connections in Categorial Type Logic [PDF]
Electronic Notes in Theoretical Computer Science, 2004 AbstractThe introduction of unary connectives has proved to be an important addition to the categorial vocabulary. The connectives considered so far are order-preserving; in this paper instead, we consider the addition of order-reversing, Galois connected operators. In §2 we do the basic model-theoretic and proof-theoretic groundwork.
Carlos Areces +2 more
core +11 more sources
Constructive Galois Connections [PDF]
Journal of Functional Programming, 2019 Abstract Galois connections are a foundational tool for structuring abstraction in semantics, and their use lies at the heart of the theory of abstract interpretation. Yet, mechanization of Galois connections using proof assistants remains limited to restricted modes of use, preventing their general application in
David Darais, David Van Horn
openaire +3 more sources
Relational Galois connections between transitive fuzzy digraphs [PDF]
, 2020 Fuzzy-directed graphs are often chosen as the data structure to model and implement solutions to several problems in the applied sciences. Galois connections have also shown to be useful both in theoretical and in practical problems.
Bernard De Baets +9 more
core +5 more sources
Transport via Partial Galois Connections and Equivalences [PDF]
, 2023 Multiple types can represent the same concept. For example, lists and trees can both represent sets. Unfortunately, this easily leads to incomplete libraries: some set-operations may only be available on lists, others only on trees.
Kappelmann, Kevin
core +2 more sources
Galois Connections in Persistent Homology [PDF]
, 2023 We present a new language for persistent homology in terms of Galois connections. This language has two main advantages over traditional approaches. First, it simplifies and unifies central concepts such as interleavings and matchings.
Gulen, Aziz Burak, McCleary, Alexander
core +1 more source
Representation of Fuzzy Concept Lattices in the Framework of Classical FCA
Journal of Applied Mathematics, 2013 We describe a representation of the fuzzy concept lattices, defined via antitone Galois connections, within the framework of classical Formal Concept Analysis. As it is shown, all needed information is explicitly contained in a given formal fuzzy context
Peter Butka, Jozef Pócs, Jana Pócsová
doaj +1 more source
Some Galois Connections in Elementary Number Theory [PDF]
, 1994 We study some Galois connections between partially ordered sets of interest in arithmetic: the natural numbers and the integers ordered by magnitude or by ...
Lambek, J.
core +1 more source
Galois theory for iterative connections and nonreduced Galois groups [PDF]
, 2008 This article presents a theory of modules with iterative connection. This theory is a generalisation of the theory of modules with connection in characteristic zero as given by N. Katz to modules over rings of arbitrary characteristic. We show that these
Andreas Maurischat, Maurischat, Andreas
core +1 more source
Some Galois connections arising from Morita contexts of semigroups [PDF]
, 2023 We show that a unitary surjective Morita context connecting two semigroups yields Galois connections between certain lattices of compatible relations whenever either semigroup has common weak local units.
Lepik, Alvin
core +2 more sources
Journal of Applied Mathematics, 2013 This paper is an attempt to develop quantitative domain theory over frames. Firstly, we propose the notion of a fuzzy basis, and several equivalent characterizations of fuzzy bases are obtained.
Sanping Rao, Qingguo Li
doaj +1 more source