Results 1 to 10 of about 19,691 (152)
Landauer’s Principle as a Special Case of Galois Connection [PDF]
Entropy, 2018 It is demonstrated how to construct a Galois connection between two related systems with entropy. The construction, called the Landauer’s connection, describes coupling between two systems with entropy.
Radosław A. Kycia
doaj +4 more sources
Formal Contexts, Formal Concept Analysis, and Galois Connections [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Formal concept analysis (FCA) is built on a special type of Galois connections called polarities. We present new results in formal concept analysis and in Galois connections by presenting new Galois connection results and then applying these to formal ...
Jeffrey T. Denniston +2 more
doaj +4 more sources
A Galois connection between Turing jumps and limits [PDF]
Logical Methods in Computer Science, 2018 Limit computable functions can be characterized by Turing jumps on the input side or limits on the output side. As a monad of this pair of adjoint operations we obtain a problem that characterizes the low functions and dually to this another problem that
Vasco Brattka
doaj +3 more sources
Improving the efficiency of using multivalued logic tools [PDF]
Scientific Reports, 2023 Multivalued logics are becoming one of the most important tools of information technology. They are in great demand for creation of artificial intelligence systems that are close to human intelligence, since the functioning of the latter cannot be ...
Ibragim E. Suleimenov +3 more
doaj +2 more sources
Improving the efficiency of using multivalued logic tools: application of algebraic rings [PDF]
Scientific Reports, 2023 It is shown that in order to increase the efficiency of using methods of abstract algebra in modern information technologies, it is important to establish an explicit connection between operations corresponding to various varieties of multivalued logics ...
Ibragim E. Suleimenov +3 more
doaj +2 more sources
Galois theory for iterative connections and nonreduced Galois groups [PDF]
Transactions of the American Mathematical Society, 2008 This article presents a theory of modules with iterative connection. This theory is a generalisation of the theory of modules with connection in characteristic zero to modules over rings of arbitrary characteristic.
Maurischat, Andreas
core +5 more sources
Some Implicational Semilinear Gaggle Logics: (Dual) Residuated-Connected Logics
Axioms, 2022 Implicational partial Galois logics and some of their semilinear extensions, such as semilinear extensions satisfying abstract Galois and dual Galois connection properties, have been introduced together with their relational semantics.
Eunsuk Yang
doaj +1 more source
Constructive Galois Connections [PDF]
Journal of Functional Programming, 2019 AbstractGalois 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 using proof assistants remains limited to restricted modes of use, preventing their general application in mechanized metatheory and certified ...
Darais, David, Van Horn, David
openaire +3 more sources
Programming from Galois connections [PDF]
The Journal of Logic and Algebraic Programming, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mu, Shin-Cheng +1 more
openaire +4 more sources
Four-Fold Formal Concept Analysis Based on Complete Idempotent Semifields
Mathematics, 2021 Formal Concept Analysis (FCA) is a well-known supervised boolean data-mining technique rooted in Lattice and Order Theory, that has several extensions to, e.g., fuzzy and idempotent semirings.
Francisco José Valverde-Albacete +1 more
doaj +1 more source