Some properties of state filters in state residuated lattices
We consider properties of state filters of state residuated lattices and prove that for every state filter $F$ of a state residuated lattice $X$: \begin{itemize} \item[(1)] $F$ is obstinate $\Leftrightarrow$ $L/F \cong\{0,1\}$; \item[(2)] $F$ is primary $\Leftrightarrow$ $L/F$ is a state local resid...
Guardado en:
Autor principal: | |
---|---|
Formato: | article |
Lenguaje: | EN |
Publicado: |
Institute of Mathematics of the Czech Academy of Science
2021
|
Materias: | |
Acceso en línea: | https://doaj.org/article/2167157825114defba317ef667f1ffaa |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
id |
oai:doaj.org-article:2167157825114defba317ef667f1ffaa |
---|---|
record_format |
dspace |
spelling |
oai:doaj.org-article:2167157825114defba317ef667f1ffaa2021-11-08T09:59:12ZSome properties of state filters in state residuated lattices0862-79592464-713610.21136/MB.2020.0040-19https://doaj.org/article/2167157825114defba317ef667f1ffaa2021-12-01T00:00:00Zhttp://mb.math.cas.cz/full/146/4/mb146_4_1.pdfhttps://doaj.org/toc/0862-7959https://doaj.org/toc/2464-7136We consider properties of state filters of state residuated lattices and prove that for every state filter $F$ of a state residuated lattice $X$: \begin{itemize} \item[(1)] $F$ is obstinate $\Leftrightarrow$ $L/F \cong\{0,1\}$; \item[(2)] $F$ is primary $\Leftrightarrow$ $L/F$ is a state local residuated lattice; \end{itemize} and that every g-state residuated lattice $X$ is a subdirect product of $\{X/P_{\lambda} \}$, where $P_{\lambda}$ is a prime state filter of $X$. Moreover, we show that the quotient MTL-algebra $X/P$ of a state residuated lattice $X$ by a state prime filter $P$ is not always totally ordered, although the quotient MTL-algebra by a prime filter is totally ordered.Michiro KondoInstitute of Mathematics of the Czech Academy of Sciencearticle obstinate state filter prime state filter boolean state filter primary state filter state filter residuated lattice local residuated latticeMathematicsQA1-939ENMathematica Bohemica, Vol 146, Iss 4, Pp 375-395 (2021) |
institution |
DOAJ |
collection |
DOAJ |
language |
EN |
topic |
obstinate state filter prime state filter boolean state filter primary state filter state filter residuated lattice local residuated lattice Mathematics QA1-939 |
spellingShingle |
obstinate state filter prime state filter boolean state filter primary state filter state filter residuated lattice local residuated lattice Mathematics QA1-939 Michiro Kondo Some properties of state filters in state residuated lattices |
description |
We consider properties of state filters of state residuated lattices and prove that for every state filter $F$ of a state residuated lattice $X$: \begin{itemize} \item[(1)] $F$ is obstinate $\Leftrightarrow$ $L/F \cong\{0,1\}$; \item[(2)] $F$ is primary $\Leftrightarrow$ $L/F$ is a state local residuated lattice; \end{itemize} and that every g-state residuated lattice $X$ is a subdirect product of $\{X/P_{\lambda} \}$, where $P_{\lambda}$ is a prime state filter of $X$. Moreover, we show that the quotient MTL-algebra $X/P$ of a state residuated lattice $X$ by a state prime filter $P$ is not always totally ordered, although the quotient MTL-algebra by a prime filter is totally ordered. |
format |
article |
author |
Michiro Kondo |
author_facet |
Michiro Kondo |
author_sort |
Michiro Kondo |
title |
Some properties of state filters in state residuated lattices |
title_short |
Some properties of state filters in state residuated lattices |
title_full |
Some properties of state filters in state residuated lattices |
title_fullStr |
Some properties of state filters in state residuated lattices |
title_full_unstemmed |
Some properties of state filters in state residuated lattices |
title_sort |
some properties of state filters in state residuated lattices |
publisher |
Institute of Mathematics of the Czech Academy of Science |
publishDate |
2021 |
url |
https://doaj.org/article/2167157825114defba317ef667f1ffaa |
work_keys_str_mv |
AT michirokondo somepropertiesofstatefiltersinstateresiduatedlattices |
_version_ |
1718442693346983936 |