The MacNeille completions for residuated \(S\)-posets
DOI10.1007/s10773-019-04046-2zbMath1479.06003OpenAlexW2916750237MaRDI QIDQ2239394
Publication date: 5 November 2021
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10773-019-04046-2
localenucleusMacNeille completioninjective hullinjective objectquantalequantale modulequantale algebraorder embeddingresiduated posetposemigroupresiduated \(S\)-semigroupsubhomomorphism
Complete lattices, completions (06B23) Ordered semigroups and monoids (06F05) Preorders, orders, domains and lattices (viewed as categories) (18B35) Categories of algebras (08C05) Quantales (06F07)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Injective hulls for ordered algebras
- A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety
- An approach to fuzzy frames via fuzzy posets
- Linear logic
- Residuated semigroups and the algebraic foundations of quantum mechanics
- On injective hulls of \(S\)-posets
- Sup-algebra completions and injective hulls of ordered algebras
- Quantale algebras as lattice-valued quantales
- Completions for partially ordered semigroups
- Injectives in certain classes of semigroups
- \(L\)-fuzzy version of Stone's representation theorem for distributive lattices
- On the coextension of cut-continuous pomonoids
- On the injective hulls of quantum B-algebras
- On injective constructions of \(S\)-semigroups
- Categorial characterization of the MacNeille completion
- Similarity relations and fuzzy orderings
- The category of semilattices
- Quantale algebras as a generalization of lattice-valued frames
- Fuzzy Logic and Mathematics
- Algebraic and Categorical Aspects of Quantales
- Injective hulls for posemigroups
- Quantales, observational logic and process semantics
- Quantale-valued sup-algebras
- Injective Hulls of Semilattices
- Injective Hulls of Certain S-Systems over a Semilattice
This page was built for publication: The MacNeille completions for residuated \(S\)-posets
