Galois Connexions - MaRDI portal

Cited in

(only showing first 100 items - show all)

Each join-completion of a partially ordered set in the solution of a universal problem
Ordered sets: retracts and connections
An abstract interpretation toolkit for \(\mu\)CRL
A particular Galois connection between relations and set functions.
Primäre Abelsche Gruppen mit Semidualität
Mathematical context in interactive documents
Tight Galois Connections and Complete Distributivity
On Bounded po-Semigroups
Extended Static Checking by Calculation Using the Pointfree Transform
Lattices, closures systems and implication bases: a survey of structural aspects and algorithms
Rings and covered groups.
Increasing and decreasing operators on complete lattices
Fuzzy Galois connections on fuzzy sets
A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety
Some sequences associated with combinatorial structures
Über Morphismen halbmodularer Verbände
Conjugaison par tranches
Connections
Galois connections in categorial type logic
Relations binaires, fermetures, correspondances de Galois
Symétrisations de catégories. I: Généralités
The lattice of finite subspace partitions
Are dualities appropriate for duality theories in optimization?
Concept lattices and order in fuzzy logic
Demonic operators and monotype factors
Weak and strong equations in partial algebras
Induction in orthodox involution categories (orthodox categories, 3)
On fuzzy generalizations of concept lattices
Regular algebra applied to language problems
Representation of fuzzy subsets by Galois connections
A calculational approach to mathematical induction
Galois theory for sets of operations closed under permutation, cylindrification, and composition
Proving implications by algebraic approximation
A unifying study between modal-like operators, topologies and fuzzy sets
Function spaces and fixed point properties: A Galois connection
On equivalence of conceptual scaling and generalized one-sided concept lattices
Ergodicity conditions for zero-sum games
Partial inner product spaces and semi-inner product spaces
Property preserving abstractions for the verification of concurrent systems
Efficient algorithms for dualizing large-scale hypergraphs
Möbius inversion in lattices
Regular languages and Stone duality
Isotone fuzzy Galois connections with hedges
Projective Geometry on Partially Ordered Sets
Betweenness for real vectors and lines. I: Basic generalities
Galois structures
A unified treatment of generalized closed sets in topological spaces
Algebraic representation, dualities and beyond
scientific article; zbMATH DE number 3611322 (Why is no real title available?)
Every Galois connection is the polarity of an antitone relation
Modes of adjointness
A semigroup of operators in convexity theory
A Galois Theory for Noncommutative Rings
On the definition of suitable orderings to generate adjunctions over an unstructured codomain
Endolocality meets homomorphism-homogeneity: A new approach in the study of relational algebras
Galois connections categorically
Pair algebras and Galois connections.
On polymorphism-homogeneous relational structures and their clones.
Rough-set concept analysis: interpreting RS-definable concepts based on ideas from formal concept analysis
A framework for incremental generation of closed itemsets
Singulary extensional connectives: A closer look
Fuzzy closure operators
Fuzzy logical bidirectional associative memory
Logical handling of uncertain, ontology-based, spatial information
Matching Theory for Combinatorial Geometries
Join-completions of \(L\)-ordered sets
Lattices with Interior and Closure Operators and Abstract Approximation Spaces
Galois connections and the Leray spectral sequence
Morphology on label images: flat-type operators and connections
On the commutative diagrams among Galois connections involved in closure structures
On base radical and semisimple classes defined by class operators
An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms
Entropy in thermodynamics: from foliation to categorization
The fundamental theorem of finite semidistributive lattices
Valuations: bi, tri, and tetra
Algebraic methods for rough approximation spaces by lattice interior-closure operations
Three lessons on the topological and algebraic hidden core of rough set theory
Transformations of discrete closure systems
A Galois connection approach to superposition and inaccessibility
Galois connections for bilattices
Distinguished submodules
Uniform continuity of pointfree real functions via farness and related Galois connections
On some orthogonal factorization systems
Extreme \(k\)-families
Tensor products and relation quantales
Generating isotone Galois connections on an unstructured codomain
Classes of valuations closed under operations Galois-dual to Boolean sentence connectives
A more general framework for Cogalois theory.
St. Alasdair on Lattices Everywhere
Two traditions in abstract valuational model theory
Pre-Galois connection on coalgebras for generic component refinement
THE APPLICATION OF A CHARACTERIZATION OF ADJUNCTIONS
Property preserving abstractions under parallel composition
Consequence relations and data science: from Galois mappings to data interpretation
Noise-disturbance relation and the Galois connection of quantum measurements
Duality in non-abelian algebra. IV. Duality for groups and a universal isomorphism theorem
Dichotomic lattices and local discretization for Galois lattices
scientific article; zbMATH DE number 1513318 (Why is no real title available?)
Lattice-theoretic contexts and their concept lattices via Galois ideals
Unitless Frobenius quantales

This page was built for publication: Galois Connexions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5834612)