Galois Connexions - MaRDI portal

Cited In (only showing first 100 items - show all)

Some sequences associated with combinatorial structures
Ergodicity conditions for zero-sum games
Extended Static Checking by Calculation Using the Pointfree Transform
Galois structures
Lattices, closures systems and implication bases: a survey of structural aspects and algorithms
The lattice of finite subspace partitions
A unifying study between modal-like operators, topologies and fuzzy sets
Möbius inversion in lattices
Logical handling of uncertain, ontology-based, spatial information
Join-completions of \(L\)-ordered sets
Algebraic Representation, Dualities and Beyond
A unified treatment of generalized closed sets in topological spaces
Fuzzy logical bidirectional associative memory
Concept lattices and order in fuzzy logic
Rings and covered groups.
On Fuzzy Generalizations of Concept Lattices
A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety
Conjugaison par tranches
Fuzzy closure operators
Galois connections and the Leray spectral sequence
Are dualities appropriate for duality theories in optimization?
A calculational approach to mathematical induction
Efficient algorithms for dualizing large-scale hypergraphs
Pair algebras and Galois connections.
A framework for incremental generation of closed itemsets
Galois Connections in Categorial Type Logic
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
Connections
Property preserving abstractions for the verification of concurrent systems
A Galois Theory for Noncommutative Rings
Each join-completion of a partially ordered set in the solution of a universal problem
Regular languages and Stone duality
Title not available (Why is that?)
Relations binaires, fermetures, correspondances de Galois
Representation of fuzzy subsets by Galois connections
Isotone fuzzy Galois connections with hedges
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.
Symétrisations de catégories. I: Généralités
Partial inner product spaces and semi-inner product spaces
On polymorphism-homogeneous relational structures and their clones.
Weak and strong equations in partial algebras
Galois theory for sets of operations closed under permutation, cylindrification, and composition
Mathematical context in interactive documents
Ordered sets: retracts and connections
An abstract interpretation toolkit for \(\mu\)CRL
Modes of adjointness
Galois connections categorically
Matching Theory for Combinatorial Geometries
Projective Geometry on Partially Ordered Sets
Betweenness for real vectors and lines. I: Basic generalities
Endolocality meets homomorphism-homogeneity: A new approach in the study of relational algebras
Every Galois connection is the polarity of an antitone relation
On the definition of suitable orderings to generate adjunctions over an unstructured codomain
Rough-set concept analysis: interpreting RS-definable concepts based on ideas from formal concept analysis
Demonic operators and monotype factors
Über Morphismen halbmodularer Verbände
Proving implications by algebraic approximation
Lattices with Interior and Closure Operators and Abstract Approximation Spaces
Primäre Abelsche Gruppen mit Semidualität
On Bounded po-Semigroups
Regular algebra applied to language problems
On equivalence of conceptual scaling and generalized one-sided concept lattices
Tight Galois Connections and Complete Distributivity
A semigroup of operators in convexity theory
Generating Isotone Galois Connections on an Unstructured Codomain
A More General Framework for CoGalois Theory
Consequence relations and data science: from Galois mappings to data interpretation
On the commutative diagrams among Galois connections involved in closure structures
Proving correctness of a compiler using step-indexed logical relations
Entropy in thermodynamics: from foliation to categorization
An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms
On some orthogonal factorization systems
Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations
Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory
Reducing one class of machine learning algorithms to logical operations of plausible reasoning
St. Alasdair on Lattices Everywhere
Some applications of topology to program semantics
On Boolean ranges of Banaschewski functions
Transformations of discrete closure systems
Classes of valuations closed under operations Galois-dual to Boolean sentence connectives
Galois connections for bilattices
Distinguished submodules
A Galois connection approach to superposition and inaccessibility
Valuations: bi, tri, and tetra
Two traditions in abstract valuational model theory
Lattice-theoretic contexts and their concept lattices via Galois ideals
On base radical and semisimple classes defined by class operators
Extreme \(k\)-families
Reinventing known results in FCA: notes on two recently published algorithms for computation of formal concepts
Unitless Frobenius quantales
Canonical dichotomous direct bases
Tensor products and relation quantales
THE APPLICATION OF A CHARACTERIZATION OF ADJUNCTIONS
Lagois connections -- a counterpart to Galois connections
Simple proof techniques for property preservation via simulation

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)