Galois Connexions
From MaRDI portal
Publication:5834612
DOI10.2307/1990305zbMath0060.06204OpenAlexW4253211478MaRDI QIDQ5834612
Publication date: 1944
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1990305
Related Items
Two traditions in abstract valuational model theory, Mining for Unknown Unknowns, On the commutative diagrams among Galois connections involved in closure structures, Connections, A unified treatment of generalized closed sets in topological spaces, Matching Theory for Combinatorial Geometries, A Galois Theory for Noncommutative Rings, Fuzzy logical bidirectional associative memory, Fuzzy closure operators, Relations binaires, fermetures, correspondances de Galois, A Galois connection approach to superposition and inaccessibility, An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms, Concept lattices and order in fuzzy logic, Distinguished submodules, Property preserving abstractions under parallel composition, Pair algebras and Galois connections., Logical handling of uncertain, ontology-based, spatial information, Extreme \(k\)-families, Property preserving abstractions for the verification of concurrent systems, A More General Framework for CoGalois Theory, Lagois connections -- a counterpart to Galois connections, Simple proof techniques for property preservation via simulation, Galois structures, Galois connections categorically, On Boolean ranges of Banaschewski functions, Singulary extensional connectives: A closer look, Demonic operators and monotype factors, Lattices, closures systems and implication bases: a survey of structural aspects and algorithms, Lattice-theoretic contexts and their concept lattices via Galois ideals, Classes of valuations closed under operations Galois-dual to Boolean sentence connectives, A unifying study between modal-like operators, topologies and fuzzy sets, Unnamed Item, An abstract interpretation toolkit for \(\mu\)CRL, Function spaces and fixed point properties: A Galois connection, A calculational approach to mathematical induction, Duality in non-abelian algebra. IV. Duality for groups and a universal isomorphism theorem, Dichotomic lattices and local discretization for Galois lattices, Projective Geometry on Partially Ordered Sets, Tensor products and relation quantales, Unitless Frobenius quantales, The lattice of finite subspace partitions, Über Morphismen halbmodularer Verbände, Mathematical context in interactive documents, A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety, Representation of fuzzy subsets by Galois connections, Galois theory for sets of operations closed under permutation, cylindrification, and composition, On equivalence of conceptual scaling and generalized one-sided concept lattices, Betweenness for real vectors and lines. I: Basic generalities, On base radical and semisimple classes defined by class operators, Intuitionistic propositional logic with Galois negations, Hilbert algebras with Hilbert-Galois connections, Ordered sets: retracts and connections, Each join-completion of a partially ordered set in the solution of a universal problem, Partial inner product spaces and semi-inner product spaces, Endolocality meets homomorphism-homogeneity: A new approach in the study of relational algebras, Efficient algorithms for dualizing large-scale hypergraphs, A particular Galois connection between relations and set functions., Modes of adjointness, Unnamed Item, Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations, Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory, Algebraic Representation, Dualities and Beyond, Proving implications by algebraic approximation, Entropy in thermodynamics: from foliation to categorization, Regular languages and Stone duality, Proving correctness of a compiler using step-indexed logical relations, Rings and covered groups., On the definition of suitable orderings to generate adjunctions over an unstructured codomain, THE APPLICATION OF A CHARACTERIZATION OF ADJUNCTIONS, Rough-set concept analysis: interpreting RS-definable concepts based on ideas from formal concept analysis, Transformations of discrete closure systems, A framework for incremental generation of closed itemsets, Join-completions of \(L\)-ordered sets, On polymorphism-homogeneous relational structures and their clones., Galois Connections in Categorial Type Logic, Isotone fuzzy Galois connections with hedges, Primäre Abelsche Gruppen mit Semidualität, Some applications of topology to program semantics, Reducing one class of machine learning algorithms to logical operations of plausible reasoning, A semigroup of operators in convexity theory, Extended Static Checking by Calculation Using the Pointfree Transform, Increasing and decreasing operators on complete lattices, Are dualities appropriate for duality theories in optimization?, Symétrisations de catégories. I: Généralités, Valuations: bi, tri, and tetra, Galois connections and the Leray spectral sequence, Canonical dichotomous direct bases, Reinventing known results in FCA: notes on two recently published algorithms for computation of formal concepts, Noise-disturbance relation and the Galois connection of quantum measurements, Galois connections for bilattices, Fuzzy Galois connections on fuzzy sets, Induction in orthodox involution categories (orthodox categories, 3), The fundamental theorem of finite semidistributive lattices, On Fuzzy Generalizations of Concept Lattices, Lattices with Interior and Closure Operators and Abstract Approximation Spaces, Generating Isotone Galois Connections on an Unstructured Codomain, Möbius inversion in lattices, Uniform continuity of pointfree real functions via farness and related Galois connections, Weak and strong equations in partial algebras, Morphology on label images: flat-type operators and connections, Tight Galois Connections and Complete Distributivity, On some orthogonal factorization systems, Every Galois connection is the polarity of an antitone relation, On Bounded po-Semigroups, Conjugaison par tranches, Pre-Galois Connection on Coalgebras for Generic Component Refinement, St. Alasdair on Lattices Everywhere, Ergodicity conditions for zero-sum games, Some sequences associated with combinatorial structures, Regular algebra applied to language problems
