Results 141 to 150 of about 781 (187)

Ambiguity and free will: the topology of decision in quantum and quantum-like sciences. [PDF]

Philos Trans A Math Phys Eng Sci
Plotnitsky A.
europepmc   +1 more source

Pair algebras and Galois connections [PDF]

Information Processing Letters, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Roland Backhouse
exaly   +7 more sources

Fuzzy Galois Connections [PDF]

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   +4 more sources

Hilbert Algebras with Hilbert–Galois Connections [PDF]

Studia Logica, 2022
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sérgio A Celani, Daniela Montangie, Daniela Montangie   +2 more
exaly   +4 more sources

Galois connections for bilattices [PDF]

Algebra Universalis, 2021
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Costas D Koutras, Georgios V Pitsiladis
exaly   +5 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
David Darais, Van Horndavid
exaly   +4 more sources

Some of the next articles are maybe not open access.

Related searches:

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   +1 more source