Cited in
(only showing first 100 items - show all)- Conjugaison par tranches
- Some sequences associated with combinatorial structures
- Galois structures
- Function spaces and fixed point properties: A Galois connection
- Über Morphismen halbmodularer Verbände
- Betweenness for real vectors and lines. I: Basic generalities
- Ordered sets: retracts and connections
- Partial inner product spaces and semi-inner product spaces
- Primäre Abelsche Gruppen mit Semidualität
- Increasing and decreasing operators on complete lattices
- Symétrisations de catégories. I: Généralités
- Galois connections and the Leray spectral sequence
- Induction in orthodox involution categories (orthodox categories, 3)
- A Galois connection approach to superposition and inaccessibility
- Extreme \(k\)-families
- Property preserving abstractions for the verification of concurrent systems
- Lagois connections -- a counterpart to Galois connections
- Simple proof techniques for property preservation via simulation
- Singulary extensional connectives: A closer look
- A calculational approach to mathematical induction
- On Boolean ranges of Banaschewski functions
- Lattices, closures systems and implication bases: a survey of structural aspects and algorithms
- Lattice-theoretic contexts and their concept lattices via Galois ideals
- Tensor products and relation quantales
- Representation of fuzzy subsets by Galois connections
- Proving correctness of a compiler using step-indexed logical relations
- Join-completions of \(L\)-ordered sets
- Fuzzy Galois connections on fuzzy sets
- Weak and strong equations in partial algebras
- Concept lattices and order in fuzzy logic
- Classes of valuations closed under operations Galois-dual to Boolean sentence connectives
- Rough-set concept analysis: interpreting RS-definable concepts based on ideas from formal concept analysis
- Reducing one class of machine learning algorithms to logical operations of plausible reasoning
- Galois connections for bilattices
- The fundamental theorem of finite semidistributive lattices
- Uniform continuity of pointfree real functions via farness and related Galois connections
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms
- Entropy in thermodynamics: from foliation to categorization
- Transformations of discrete closure systems
- On polymorphism-homogeneous relational structures and their clones.
- Valuations: bi, tri, and tetra
- 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
- Duality in non-abelian algebra. IV. Duality for groups and a universal isomorphism theorem
- Dichotomic lattices and local discretization for Galois lattices
- On base radical and semisimple classes defined by class operators
- Efficient algorithms for dualizing large-scale hypergraphs
- A framework for incremental generation of closed itemsets
- Möbius inversion in lattices
- Ergodicity conditions for zero-sum games
- Morphology on label images: flat-type operators and connections
- Galois connections categorically
- Unitless Frobenius quantales
- Intuitionistic propositional logic with Galois negations
- Hilbert algebras with Hilbert-Galois connections
- A semigroup of operators in convexity theory
- Pre-Galois connection on coalgebras for generic component refinement
- Pair algebras and Galois connections.
- Tight Galois Connections and Complete Distributivity
- 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
- Some applications of topology to program semantics
- Lattices with Interior and Closure Operators and Abstract Approximation Spaces
- A more general framework for Cogalois theory.
- Projective Geometry on Partially Ordered Sets
- Each join-completion of a partially ordered set in the solution of a universal problem
- The lattice of finite subspace partitions
- On Bounded po-Semigroups
- scientific article; zbMATH DE number 3611322 (Why is no real title available?)
- A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety
- Galois theory for sets of operations closed under permutation, cylindrification, and composition
- Demonic operators and monotype factors
- scientific article; zbMATH DE number 1513318 (Why is no real title available?)
- A particular Galois connection between relations and set functions.
- Modes of adjointness
- THE APPLICATION OF A CHARACTERIZATION OF ADJUNCTIONS
- Galois connections in categorial type logic
- St. Alasdair on Lattices Everywhere
- Property preserving abstractions under parallel composition
- On the definition of suitable orderings to generate adjunctions over an unstructured codomain
- Extended Static Checking by Calculation Using the Pointfree Transform
- On fuzzy generalizations of concept lattices
- Generating isotone Galois connections on an unstructured codomain
- On some orthogonal factorization systems
- Isotone fuzzy Galois connections with hedges
- Distinguished submodules
- Matching Theory for Combinatorial Geometries
- A Galois Theory for Noncommutative Rings
- Relations binaires, fermetures, correspondances de Galois
- Fuzzy logical bidirectional associative memory
- Fuzzy closure operators
- 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
- Mathematical context in interactive documents
- Endolocality meets homomorphism-homogeneity: A new approach in the study of relational algebras
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)
