Nuclei and conuclei on residuated lattices
type: Item
instance of: scholarly article
title: Nuclei and conuclei on residuated lattices
zbMATH Open document ID: 1229.03060
author: Shengwei Han
author: Bin Zhao
published in: Fuzzy Sets and Systems
publication date: 2011-07-15T00:00:00Z
review text: The authors prove some basic properties of nuclei and conuclei on residuated lattices. For a residuated lattice \(L = (L, \wedge, \vee, \otimes, \searrow, \swarrow, e)\), a map \(j : L\to L\) is called a nucleus if it is a closure operator and moreover satisfies \(j(a)\otimes j(b) \leq j(a\times b)\). It is proved, for example: {\parindent=6,5mm \begin{itemize}\item[(1)] A residuated lattice \(L\) is a GMV-algebra if and only if \(L_{w_{rl}^a}\) and \(L_{w_{lr}^a}\) are filters in \(L\) for all \(a\in L\). (Theorem 2.7) \item[(2)] If \(j\) is a nucleus on \(L\), then \(j\leq w_{rl}^c\) (or \(j \leq w_{rl}^c\)) if and only if \(j(c)=c\). (Proposition 2.8) \end{itemize}} Here \(w_{rl}^a (x) = a\swarrow (x \searrow a)\) and \(w_{lr}^a (x) = (a\swarrow x) \searrow a\) are closure operators on \(L\), and \(L_j = \{ x\in L\mid j(x) = x \}\) for a map \(j\). The authors also define a pseudo-dual quantale \(Q= (Q, \otimes, {}^\top, {}^\perp)\) which is a quantale \((Q,\otimes)\) with two order-reversing operations \({}^\top, {}^\perp\) satisfying CN1 and CN2: \[ \text{CN1:}\quad (a^\top)^\perp= a= (a^\perp)^\top, \qquad \text{CN2:}\quad a\otimes b\leq c \iff b\otimes c^\top\leq a^\top. \] Many results about pseudo-dual quantales are proved; for example: {\parindent=6,5mm \begin{itemize}\item[(3)] If \(Q\) is a dual quantale then it is also a pseudo-dual quantale. (Proposition 3.20) \item[(4)] A pseudo-dual quantale \(Q\) is a dual quantale if and only if it is a unital quantale. (Theorem 3.21) \item[(5)] A pseudo-Girard quantale \(Q\) is a Girard quantale if and only if it is a unital quantale. (Theorem 3.27) \end{itemize}} A pseudo-dual quantale \(Q\) is called a pseudo-Girard quantale if it satisfies \((a)^\top= (a)^\perp\) for all \(a\in Q\).
reviewed by: Michiro Kondo
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 06D35
Mathematics Subject Classification ID: 06F05
Mathematics Subject Classification ID: 06F07
zbMATH DE Number: 5924622
zbMATH Keywords: MV-algebra
zbMATH Keywords: BL-algebra
zbMATH Keywords: nuclei
zbMATH Keywords: conuclei
zbMATH Keywords: residuated lattices
zbMATH Keywords: closure operator
zbMATH Keywords: pseudo-dual quantale
zbMATH Keywords: pseudo-Girard quantale
MaRDI profile type: Publication
full work available at URL: j.fss.2010.12.008
OpenAlex ID: W2074179608
cites work: Quantales, observational logic and process semantics
cites work: Probability measures in the logic of nilpotent minimum
cites work: Cancellative residuated lattices
cites work: THE STRUCTURE OF RESIDUATED LATTICES
cites work: Q4056047
cites work: Non-commutative topology and quantales
cites work: Pointed semi-quantales and lattice-valued topological spaces
cites work: Probabilistic averaging in bounded \(R\ell\)-monoids
cites work: Contrapositive symmetry of fuzzy implications
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Generalized MV-algebras
cites work: Linear logic
cites work: Metamathematics of fuzzy logic
cites work: The quantic conuclei on quantales
cites work: \(GL\)-quantales: \(Q\)-valued sets and their singletons
cites work: Q4836218
cites work: Q5693612
cites work: Quantized linear logic, involutive quantales and strong negation
cites work: The embedding of an ordered groupoid into a poe-groupoid in terms of fuzzy sets.
cites work: Fuzzy logics from substructural perspective
cites work: Algebraic and Categorical Aspects of Quantales
cites work: Noncommutative linear logic and its quantale semantics
cites work: Dual quantales and their properties
cites work: Ordered groups with a conucleus
cites work: Q3771067
cites work: On the quantisation of spaces
cites work: Embeddings of quantales into simple quantales
cites work: Q4229134
cites work: Q4796953
cites work: Simple involutive quantales
cites work: Monadic bounded commutative residuated \(\ell\)-monoids
cites work: Sup-lattice 2-forms and quantales
cites work: Q3996704
cites work: From quantale algebroids to topological spaces: fixed- and variable-basis approaches
cites work: Categorical approaches to non-commutative fuzzy logic
cites work: MTL-algebras arising from partially ordered groups
cites work: MV-algebras, BL-algebras, \(R_0\)-algebras, and multiple-valued logic.
cites work: Residuated Lattices
cites work: Fuzzy radicals and prime fuzzy ideals of ordered semigroups
cites work: Quantales and (noncommutative) linear logic
cites work: An enriched category approach to many valued topology
cites work: Implication structures, fuzzy subsets, and enriched categories
cites work: Uniform environments as a general framework for metrics and uniformities
cites work: Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras)
DOI: 10.1016/J.FSS.2010.12.008
description: scientific article; zbMATH DE number 5924622