Results 171 to 180 of about 1,135,760 (216)
A secured accreditation and equivalency certification using Merkle mountain range and transformer based deep learning model for the education ecosystem. [PDF]
Sci RepKrishnan S, Rajendran S, Zakariah M.
europepmc +1 more source
A galois connection calculus for abstract interpretation
ACM SIGPLAN Notices, 2014 International audienceWe introduce a Galois connection calculus for language independent specification of abstract interpretations used in programming language semantics, formal verification, and static analysis.
Radhia Cousot
exaly +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Mathematical Logic Quarterly, 1999
AbstractThe concept of Galois connection between power sets is generalized from the point of view of fuzzy logic. Studied is the case where the structure of truth values forms a complete residuated lattice. It is proved that fuzzy Galois connections are in one‐to‐one correspondence with binary fuzzy relations.
Radim Belohlavek
exaly +2 more sources
AbstractThe concept of Galois connection between power sets is generalized from the point of view of fuzzy logic. Studied is the case where the structure of truth values forms a complete residuated lattice. It is proved that fuzzy Galois connections are in one‐to‐one correspondence with binary fuzzy relations.
Radim Belohlavek
exaly +2 more sources
Constructive Galois connections: taming the Galois connection framework for mechanized metatheory [PDF]
ACM SIGPLAN Notices, 2016 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 remains limited to restricted modes of use, preventing their general application in mechanized metatheory and certified programming. This
Van Horndavid
exaly +5 more sources
Logica Universalis, 2007
The connection presented in this paper mirror-links two metamathematical structures, the finitary closure operators, and the compact consistency properties, in such a way that a specification of one structure induces a provably equivalent specification of the other.
exaly +2 more sources
The connection presented in this paper mirror-links two metamathematical structures, the finitary closure operators, and the compact consistency properties, in such a way that a specification of one structure induces a provably equivalent specification of the other.
exaly +2 more sources
Galois Connection for Hyperclones
2010 40th IEEE International Symposium on Multiple-Valued Logic, 2010This paper is inspired by the paper of Tarasov in which he investigates maximal partial clones on a two-element set. It happens that the approach of Tarasov can be translated into the language of hyperclone theory. He introduced a notion of quasicomposition which assigns to extended hyperoperations extension of their composition.
Jovanka Pantovic, Hajime Machida
exaly +3 more sources
Duality for Quasilattices and Galois Connections
Fundamenta Informaticae, 2017The primary goal of the paper is to establish a duality for quasilattices. The main ingredients are duality for semilattices and their representations, the structural analysis of quasilattices as Płonka sums of lattices, and the duality for lattices developed by Hartonas and Dunn.
Anna B. Romanowska, Jonathan D. H. Smith
openaire +3 more sources
A category of Galois connections
1987We study Galois connections by examining the properties of three categories. The objects in each category are Galois connections. The categories differ in their hom-sets; in the most general category the morphisms are pairs of functions which commute with the maps of the domain and codomain Galois connections. One of our main results is that one of the
J. M. McDill +2 more
openaire +2 more sources
Hilbert Algebras with Hilbert–Galois Connections
Studia Logica, 2022zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sergio A. Celani, Daniela Montangie
openaire +3 more sources
Fuzzy Galois connections categorically
MLQ, 2010The paper deals with closed categories over complete lattice-ordered monoids \((L, \vee, \wedge, \ast, 1)\). Covariant and contravariant fuzzy Galois connections were introduced and examined by \textit{R. Bělohlávek} [Math. Log. Q. 45, No.~4, 497--504 (1999; Zbl 0938.03079)], and \textit{G. Georgescu} and \textit{A. Popescu} [Soft Comput. 7, No.~7, 458-
Javier Gutiérrez García +3 more
openaire +2 more sources