Nuclei and conuclei on residuated lattices
From MaRDI portal
Publication:549349
DOI10.1016/j.fss.2010.12.008zbMath1229.03060OpenAlexW2074179608MaRDI QIDQ549349
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
closure operatorMV-algebranucleiBL-algebraresiduated latticesconucleipseudo-dual quantalepseudo-Girard quantale
Other algebras related to logic (03G25) MV-algebras (06D35) Ordered semigroups and monoids (06F05) Quantales (06F07)
Related Items (4)
The points and diameters of quantales ⋮ On derivations of quantales ⋮ Characterization of residuated lattices via multipliers ⋮ Dual quantum B-algebras
Cites Work
- Linear logic
- Categorical approaches to non-commutative fuzzy logic
- Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras)
- Uniform environments as a general framework for metrics and uniformities
- An enriched category approach to many valued topology
- Residuated lattices. An algebraic glimpse at substructural logics
- Monadic bounded commutative residuated \(\ell\)-monoids
- Fuzzy radicals and prime fuzzy ideals of ordered semigroups
- Probability measures in the logic of nilpotent minimum
- Implication structures, fuzzy subsets, and enriched categories
- Pointed semi-quantales and lattice-valued topological spaces
- From quantale algebroids to topological spaces: fixed- and variable-basis approaches
- Ordered groups with a conucleus
- The quantic conuclei on quantales
- Metamathematics of fuzzy logic
- Simple involutive quantales
- The embedding of an ordered groupoid into a poe-groupoid in terms of fuzzy sets.
- \(GL\)-quantales: \(Q\)-valued sets and their singletons
- Non-commutative topology and quantales
- Generalized MV-algebras
- Quantized linear logic, involutive quantales and strong negation
- On the quantisation of spaces
- Sup-lattice 2-forms and quantales
- Contrapositive symmetry of fuzzy implications
- Embeddings of quantales into simple quantales
- Fuzzy logics from substructural perspective
- MTL-algebras arising from partially ordered groups
- Probabilistic averaging in bounded \(R\ell\)-monoids
- Cancellative residuated lattices
- THE STRUCTURE OF RESIDUATED LATTICES
- Algebraic and Categorical Aspects of Quantales
- Quantales and (noncommutative) linear logic
- Quantales, observational logic and process semantics
- Residuated Lattices
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Nuclei and conuclei on residuated lattices
