scientific article; zbMATH DE number 701387

Marcel Erné, Austin Melton, Jürgen Koslowski, George E. Strecker

Publication date: 29 March 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

closure operation polarity Galois connections residuation theory axiality residuated semigroups interior operation

Partial orders, general (06A06) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general topology (54-01) Basic constructions in general topology (54B99) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Connections of general topology with other structures, applications (54H99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01)

Related Items

Transporting continuity properties from a poset to its subposets, Formal contexts for algebraic domains, Lattice-valued preordered sets as lattice-valued topological systems, Galois connections between lattices of preradicals induced by adjoint pairs between categories of modules., Nuclear ranges in implicative semilattices, Uniform-type structures on lattice-valued spaces and frames, Rickart and dual Rickart objects in abelian categories, On extremal domains and codomains for convolution of distributions and fractional calculus, Unnamed Item, Logics from Galois connections, Tensor envelopes of regular categories, A diagram of Galois connections of functorial topologies, Refinement preserving approximations for the design and verification of heterogeneous systems, Enriched logical connections, Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations, Lattice-valued topological systems as a framework for lattice-valued formal concept analysis, Adjoint negations, more than residuated negations, A Syntactic Approach to Closure Operation, REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS, A unifying study between modal-like operators, topologies and fuzzy sets, Interior operators and topological separation, Lattice-valued soft algebras., Tensor products and relation quantales, Relational, closure and partition powerset theories, Exploring modal worlds, Two traditions in abstract valuational model theory, Geographic wayfinders and space-time algebra, Approximating Behaviors in Embedded System Design, A categorical approach to absolute closure, \(\mathcal{K}\)-formal concept analysis as linear algebra over idempotent semifields, Activating Generalized Fuzzy Implications from Galois Connections, Approximation of sets based on partial covering, Disjunctive Multiple-Conclusion Consequence Relations, Strongly Rickart objects in abelian categories: Applications to strongly regular and strongly Baer objects, The dual adjunction between MV-algebras and Tychonoff spaces, Categorically algebraic topology versus universal topology, DISCONNECTEDNESS CLASSES, Fuzzy Galois connections categorically, Abstract Concept Lattices, On the connection between the representation type of an algebra and its lattice of preradicals, On the definition of suitable orderings to generate adjunctions over an unstructured codomain, Operators on Pavelka's algebras induced by fuzzy relations, Rough-set concept analysis: interpreting RS-definable concepts based on ideas from formal concept analysis, Relatively divisible and relatively flat objects in exact categories, Concept lattices of fuzzy contexts: formal concept analysis vs. rough set theory, Rank functions on rooted tree quivers., A representation theorem for fuzzy pseudometrics, Algebras for Galois-style connections and their discrete duality, Extending conceptualisation modes for generalised formal concept analysis, Concurrent Kleene algebra and its foundations, Regular closure operators, Information Quanta and Approximation Operators: Once More Around the Track, Disjunctive and conjunctive multiple-conclusion consequence relations, Valuations: bi, tri, and tetra, Residual operations of monotone binary operations over complete lattices, Implication operators generating pairs of weak negations and their algebraic structure, Model Refinement Using Bisimulation Quotients, An algebraic foundation for factoring linear boundary problems, Galois connections for bilattices, Fuzzy Galois connections on fuzzy sets, Galois connections between lattices of preradicals induced by ring epimorphisms, Unnamed Item, Description of sup- and inf-preserving aggregation functions via families of clusters in data tables, Galois connections for phylogenetic networks and their polytopes, Unnamed Item, Characterization of a category for monoidal topology, Viewing Morphisms Between Pattern Structures via Their Concept Lattices and via Their Representations, Rough Set Theory: Ontological Systems, Entailment Relations and Approximation Operators, Generating Isotone Galois Connections on an Unstructured Codomain, Groups where the centers of the irreducible characters form a chain. II, Non-interleaving Semantics with Causality for Nondeterministic Dataflow, Fuzzy quantic nuclei and conuclei with applications to fuzzy semi-quantales and \((L,M)\)-quasi-fuzzy topologies, On fuzzification of topological categories, A proof of Tarski's fixed point theorem by application of Galois connections