Results 121 to 130 of about 348 (168)
Twisting of Graded Quantum Groups and Solutions to the Quantum Yang-Baxter Equation. [PDF]
Transform GroupsHuang H +5 more
europepmc +1 more source
Structured Dynamics in the Algorithmic Agent. [PDF]
Entropy (Basel)Ruffini G, Castaldo F, Vohryzek J.
europepmc +1 more source
Quantum resilient security framework for privacy preserving AI in Apple MM1 on device architecture. [PDF]
Sci RepUmer N +4 more
europepmc +1 more source
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 Bělohlávek
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 Bělohlávek
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
Pair algebras and Galois connections [PDF]
Information Processing Letters, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Roland Carl Backhouse
exaly +7 more sources
Hilbert Algebras with Hilbert–Galois Connections
Studia Logica, 2022zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sérgio Celani, Daniela Montangie
exaly +4 more sources
Fuzzy Galois connections categorically
Mathematical Logic Quarterly, 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, Dexue Zhang
exaly +3 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.
Hajime Machida +2 more
openaire +2 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