Results 71 to 80 of about 128 (122)

A Meta-Logical Framework for the Equivalence of Syntactic and Semantic Theories

Philosophies
This paper introduces a meta-logical framework—based on the theory of institutions (a categorical version of abstract model theory)—to be used as a tool for the formalization of the two main views regarding the structure of scientific theories, namely ...
Maria Dimarogkona, Petros Stefaneas, Nicola Angius   +2 more
doaj   +1 more source

Formal Context Transforms and Their Affordances for Exploratory Data Analysis

Mathematics
Consider a formal context (G, M, I) as the basic mechanism to capture information about a set G of objects, a set M of attributes and the relation I ∈ G × M between them. Traditional use of Formal Concept Analysis has some shortcomings in its information-
Francisco J. Valverde-Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego   +4 more
doaj   +1 more source

Nonvanishing minors of eigenvector matrices and consequences

Special Matrices
For a matrix M∈Kn×n{\bf{M}}\in {{\mathbb{K}}}^{n\times n}, we establish a condition on the Galois group of the characteristic polynomial φM{\varphi }_{{\bf{M}}} that induces nonvanishing of the minors of the eigenvector matrix of M{\bf{M}}.
Emmrich Tarek
doaj   +1 more source

Galois Connections and Applications [PDF]

, 2004
Preface M. Erne Adjunctions and Galois Connections: Origins, History and Development G. Janelidze Categorical Galois Theory: Revision and Some Recent Developments M. Erne The Polarity between Approximation and Distribution K. Denecke, S.L. Wismath Galois Connections and Complete Sublattices R.
openaire   +1 more source

Galois cohomology of SO(N)-connections

, 2023
Abstract Two different types of Fuchsian function of the second kind are possible for SU(2)-bundle on U(1)-flat-connections of Chern-Simons field. Both of two different types of Fuchsian are parametrized by the same moduli as the LF-invariant measure situated on arbitrary Galois cohomology.
openaire   +1 more source

Mereological approach to higher-order structure in complex systems: From macro to micro with Möbius

Physical Review Research
Relating macroscopic observables to microscopic interactions is a central challenge in the study of complex systems. While current approaches often focus on pairwise interactions, a complete understanding requires going beyond these to capture the full ...
Abel Jansma
doaj   +1 more source

Monodromy of a Class of Logarithmic Connections on an Elliptic Curve

Symmetry, Integrability and Geometry: Methods and Applications, 2007
The logarithmic connections studied in the paper are direct images of regular connections on line bundles over genus-2 double covers of the elliptic curve.
Francois-Xavier Machu
doaj  

The structure of Galois connections [PDF]

Pacific Journal of Mathematics, 1974
openaire   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Fuzzy Galois Connections

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   +2 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.
Jovanka Pantovic, Ivo G Rosenberg, Hajime Machida   +2 more
exaly   +3 more sources