Nuclei and conuclei on residuated lattices
DOI10.1016/J.FSS.2010.12.008zbMATH Open1229.03060OpenAlexW2074179608MaRDI QIDQ549349FDOQ549349
Authors: Shengwei Han, Bin Zhao
Publication date: 15 July 2011
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2010.12.008
Recommendations
residuated latticesBL-algebraMV-algebraclosure operatornucleiconucleipseudo-dual quantalepseudo-Girard quantale
Other algebras related to logic (03G25) MV-algebras (06D35) Ordered semigroups and monoids (06F05) Quantales (06F07)
Cites Work
- Metamathematics of fuzzy logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Linear logic
- Fuzzy radicals and prime fuzzy ideals of ordered semigroups
- Residuated lattices. An algebraic glimpse at substructural logics
- \(GL\)-quantales: \(Q\)-valued sets and their singletons
- Generalized MV-algebras
- Quantized linear logic, involutive quantales and strong negation
- On the quantisation of spaces
- Contrapositive symmetry of fuzzy implications
- Embeddings of quantales into simple quantales
- Cancellative residuated lattices
- THE STRUCTURE OF RESIDUATED LATTICES
- Algebraic and categorical aspects of quantales
- Quantales and (noncommutative) linear logic
- Title not available (Why is that?)
- Quantales, observational logic and process semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Residuated Lattices
- Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras)
- An enriched category approach to many valued topology
- From quantale algebroids to topological spaces: fixed- and variable-basis approaches
- Ordered groups with a conucleus
- The quantic conuclei on quantales
- Noncommutative linear logic and its quantale semantics
- Pointed semi-quantales and lattice-valued topological spaces
- Simple involutive quantales
- Title not available (Why is that?)
- Probabilistic averaging in bounded \(R\ell\)-monoids
- MV-algebras, BL-algebras, \(R_0\)-algebras, and multiple-valued logic.
- Probability measures in the logic of nilpotent minimum
- Implication structures, fuzzy subsets, and enriched categories
- Sup-lattice 2-forms and quantales
- Categorical approaches to non-commutative fuzzy logic
- The embedding of an ordered groupoid into a poe-groupoid in terms of fuzzy sets.
- Non-commutative topology and quantales
- Fuzzy logics from substructural perspective
- MTL-algebras arising from partially ordered groups
- Dual quantales and their properties
- Uniform environments as a general framework for metrics and uniformities
- Monadic bounded commutative residuated \(\ell\)-monoids
Cited In (8)
- Dual quantum B-algebras
- A non commutative generalization of *-autonomous lattices
- The points and diameters of quantales
- Title not available (Why is that?)
- On multiple nuclei and a conjecture of Lunelli and Sce
- On derivations of quantales
- Characterization of residuated lattices via multipliers
- Fuzzy pre-dual quantale.
This page was built for publication: Nuclei and conuclei on residuated lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q549349)