Results 1 to 10 of about 349 (167)
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
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
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 +1 more source
Constructive Galois Connections [PDF]
Journal of Functional Programming, 2019 Abstract 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 using proof assistants remains limited to restricted modes of use, preventing their general application in
David Darais, David Van Horn
openaire +3 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 +1 more source
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
Programming from Galois connections [PDF]
The Journal of Logic and Algebraic Programming, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Shin-Cheng Mu, José Nuno Oliveira
openaire +6 more sources
Galois Theory for Finite Algebras of Operations and Multioperations of Rank 2
Известия Иркутского государственного университета: Серия "Математика", 2019 The construction of Galois theory for the algebras of operations and relations is a popular topic for investigation. It finds numerous applications in both algebra and discrete mathematics – especially for the perfect Galois connection, since if such a ...
N.A. Peryazev
doaj +1 more source
Constructive Galois connections: taming the Galois connection framework for mechanized metatheory [PDF]
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 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, David Van Horn
openaire +4 more sources
Galois conjugation and multiboundary entanglement entropy
Journal of High Energy Physics, 2020 We revisit certain natural algebraic transformations on the space of 3D topological quantum field theories (TQFTs) called “Galois conjugations.” Using a notion of multiboundary entanglement entropy (MEE) defined for TQFTs on compact 3-manifolds with ...
Matthew Buican, Rajath Radhakrishnan
doaj +1 more source