Cited in
(only showing first 100 items - show all)- Algebraic representation, dualities and beyond
- scientific article; zbMATH DE number 1513318 (Why is no real title available?)
- On Heyting algebras with negative tense operators. II.
- Demonic operators and monotype factors
- Hilbert algebras with Hilbert-Galois connections
- Intuitionistic propositional logic with Galois negations
- Über Morphismen halbmodularer Verbände
- The fundamental theorem of finite semidistributive lattices
- Proving implications by algebraic approximation
- Uniform continuity of pointfree real functions via farness and related Galois connections
- Primäre Abelsche Gruppen mit Semidualität
- Fuzzy closure structures as formal concepts. II
- Regular algebra applied to language problems
- Lattices with Interior and Closure Operators and Abstract Approximation Spaces
- On equivalence of conceptual scaling and generalized one-sided concept lattices
- Algebraic methods for rough approximation spaces by lattice interior-closure operations
- Three lessons on the topological and algebraic hidden core of rough set theory
- On Bounded po-Semigroups
- Mining for Unknown Unknowns
- Pre-Galois connection on coalgebras for generic component refinement
- Property preserving abstractions under parallel composition
- Tight Galois Connections and Complete Distributivity
- A semigroup of operators in convexity theory
- Some sequences associated with combinatorial structures
- Ergodicity conditions for zero-sum games
- Diffeological, Frölicher, and differential spaces
- Galois structures
- Extended Static Checking by Calculation Using the Pointfree Transform
- The lattice of finite subspace partitions
- Lawvere's Frobenius reciprocity, the modular connections of Grandis and Dilworth's abstract principal ideals
- Lattices, closures systems and implication bases: a survey of structural aspects and algorithms
- A unifying study between modal-like operators, topologies and fuzzy sets
- Logical handling of uncertain, ontology-based, spatial information
- Möbius inversion in lattices
- Join-completions of \(L\)-ordered sets
- Fuzzy closure structures as formal concepts
- Fuzzy relational Galois connections between fuzzy transitive digraphs
- Consequence relations and data science: from Galois mappings to data interpretation
- On the commutative diagrams among Galois connections involved in closure structures
- Concept lattices and order in fuzzy logic
- A unified treatment of generalized closed sets in topological spaces
- Fuzzy logical bidirectional associative memory
- Proving correctness of a compiler using step-indexed logical relations
- A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety
- Rings and covered groups.
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms
- Entropy in thermodynamics: from foliation to categorization
- Conjugaison par tranches
- On some orthogonal factorization systems
- Fuzzy closure operators
- Reducing one class of machine learning algorithms to logical operations of plausible reasoning
- Galois connections and the Leray spectral sequence
- Are dualities appropriate for duality theories in optimization?
- A calculational approach to mathematical induction
- Pair algebras and Galois connections.
- Efficient algorithms for dualizing large-scale hypergraphs
- A framework for incremental generation of closed itemsets
- Morphology on label images: flat-type operators and connections
- Function spaces and fixed point properties: A Galois connection
- Increasing and decreasing operators on complete lattices
- Property preserving abstractions for the verification of concurrent systems
- On Boolean ranges of Banaschewski functions
- St. Alasdair on Lattices Everywhere
- Connections
- Some applications of topology to program semantics
- Transformations of discrete closure systems
- Regular languages and Stone duality
- Each join-completion of a partially ordered set in the solution of a universal problem
- A Galois Theory for Noncommutative Rings
- Generating isotone Galois connections on an unstructured codomain
- scientific article; zbMATH DE number 3611322 (Why is no real title available?)
- Classes of valuations closed under operations Galois-dual to Boolean sentence connectives
- Galois connections for bilattices
- Characterization of subdirectly irreducible Heyting algebras with negative tense operators
- Relations binaires, fermetures, correspondances de Galois
- Isotone fuzzy Galois connections with hedges
- Representation of fuzzy subsets by Galois connections
- Differential elimination and algebraic invariants of polynomial dynamical systems
- Singulary extensional connectives: A closer look
- Fuzzy Galois connections on fuzzy sets
- Induction in orthodox involution categories (orthodox categories, 3)
- A particular Galois connection between relations and set functions.
- Distinguished submodules
- Symétrisations de catégories. I: Généralités
- Partial inner product spaces and semi-inner product spaces
- Formal concept ring, an algebraic machine to equip the formal concept analysis with more constructive operations
- On polymorphism-homogeneous relational structures and their clones.
- A Galois connection approach to superposition and inaccessibility
- Galois theory for sets of operations closed under permutation, cylindrification, and composition
- Weak and strong equations in partial algebras
- Mathematical context in interactive documents
- On fuzzy generalizations of concept lattices
- Valuations: bi, tri, and tetra
- Lattice-theoretic contexts and their concept lattices via Galois ideals
- An abstract interpretation toolkit for CRL
- Ordered sets: retracts and connections
- On base radical and semisimple classes defined by class operators
- Extreme \(k\)-families
- Two traditions in abstract valuational model theory
- Modes of adjointness
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)
