Galois Connexions
From MaRDI portal
Publication:5834612
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)