Results 151 to 160 of about 686,932 (192)
Hilbert Algebras with Hilbert–Galois Connections
Studia Logica, 2022 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sergio A. Celani, Daniela Montangie
openaire +4 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
A Category of Galois Connections
Lecture Notes in Computer Science, 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
exaly +3 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 +3 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
On Galois Connections and Soft Computing
Lecture Notes in Computer Science, 2013After recalling the different interpretations usually assigned to the term Galois connection, both in the crisp and in the fuzzy case, we survey on several of their applications in Computer Science and specifically, in Soft Computing.
Pablo Cordero, Manuel Ojeda-Aciego
exaly +3 more sources
A Primer on Galois Connections
Annals of the New York Academy of Sciences, 1993ABSTRACT. The rudiments of the theory of Galois connections (or residuation theory, as it is sometimes called) are provided, together with many examples and applications. Galois connections occur in profusion and are well known to most mathematicians who deal with order theory; they seem to be less known to topologists.
M. ERNÉ +3 more
exaly +2 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
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