Results 161 to 170 of about 1,175,834 (208)

Twisting of Graded Quantum Groups and Solutions to the Quantum Yang-Baxter Equation. [PDF]

Transform Groups
Huang H, Nguyen VC, Ure C, Vashaw KB, Veerapen P, Wang X.   +5 more
europepmc   +1 more source

Fuzzy Galois Connections [PDF]

Mathematical Logic Quarterly, 1999
. The 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-
Radim Bělohlávek
exaly   +3 more sources

Pair algebras and Galois connections [PDF]

Information Processing Letters, 1998
Most studies of Galois connections begin with a function and ask the question: when is there a second function that is connected to the first? In possibly the first application of Galois connections directly related to the digital computer, Hartmanis and
Roland Carl Backhouse
exaly   +9 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

Some of the next articles are maybe not open access.

Related searches:

Hilbert Algebras with Hilbert–Galois Connections

Studia Logica, 2022
zbMATH 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, 2010
The 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, 2010
This 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, Jovanka Pantovic, Ivo G. Rosenberg   +2 more
openaire   +2 more sources

Duality for Quasilattices and Galois Connections

Fundamenta Informaticae, 2017
The 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