首页/论文/1808.00841

arXiv 1808.008412018-08math.LO

MTL-代数的拓扑研究

A topological approach to MTL-algebras

Wesley Fussner, Sara Ugolini

发表信息：: Algebra Universalis 80, article number 38, 2019
DOI：: 10.1007/s00012-019-0612-6

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们对偶的Aguzzoli-Flaminio-Ugolini的一个大类的MTL-代数从有序的四元组组成的布尔代数，广义MTL-代数，和两个地图参数化这些件之间的连接的建设。我们的对偶建设给出了一个统一的方式来建设的MTL-代数在这个类的布尔骨架的Stone的扩展Priestley的，他们的根的扩展Priestley的，和一个家庭的封闭运营商相关联的两个。为了方便这方面的工作，我们还提供了一些关于MTL-代数和GMTL-代数的推广Priestley图的新结果。

英文摘要：

We dualize a construction of Aguzzoli-Flaminio-Ugolini of a large class of MTL-algebras from ordered quadruples consisting of a Boolean algebra, a generalized MTL-algebra, and two maps parameterizing the connection between these pieces. Our dualized construction gives a uniform way of building the extended Priestley duals of MTL-algebras in this class from the Stone duals of their Boolean skeletons, the extended Priestley duals of their radicals, and a family of closure operators associating the two. In order to facilitate this work, we also offer some new results regarding the extended Priestley duals of MTL-algebras and GMTL-algebras.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

基于模糊集的软MTL-代数

Soft MTL-algebras based on fuzzy sets

本文研究了基于模糊集的软MTL-代数。利用$\in$ -软集和q-软集，研究了（Boolean，G-和MV-）滤子性软MTL-代数的一些刻画.最后，我们证明了一个软集是布尔滤子软MTL-代数当且仅当它既是G-滤子软MTL-代数又是MV-滤子软MTL-代数。

2010-03-24math.LO

MTL-代数中的稳定子

Stabilizers in MTL-algebras

本文在MTL-代数中引入了一些稳定子并研究了它们的相关性质，然后利用这些稳定子刻画了一些特殊的MTL-代数，如IMTL-代数、积分MTL-代数、Gödel代数和MV-代数。此外，我们还讨论了MTL-代数中稳定子与几种特殊滤子（理想）之间的关系。最后，讨论了这两种稳定器之间的关系，证明了右关联稳定器与右乘稳定器是序同构的。这些结果也回答了Motamed和Torkzadeh在[Soft Comput，{ \bf 21}（2017）686-693]中提出的一些开放问题。

2017-09-14math.LO

满足$(2x)^2 = 2(x^2)$的对合MTL-代数的超态

Hyperstates of Involutive MTL-Algebras that Satisfy $(2x)^2 = 2(x^2)$

MV-代数的态一直是深入研究和推广的对象。本文的目的是对完全和对合MTL-代数（简称IBP 0-代数）生成的簇中的代数的准线性半环和超态的态进行初步的研究。基于最近的一个结果表明IBP 0-代数可以由一个布尔代数、一个预线性半环和它们之间的一个适当定义的算子构成，我们对预线性半环的状态的第一次研究将支持和证明IBP 0-代数的超状态概念，并将实际表明每个这样的映射可以由其布尔骨架上的一个概率测度表示，以及适当定义的阿贝尔L群上的状态。

2020-02-13math.LO

可表示为阿基米德链偏序集积的有限MTL-代数

On finite MTL-algebras that are representable as poset products of archimedean chains

得到了有限MTL-代数范畴与有限标号树范畴之间的对偶。此外，我们还证明了MTL-代数的某些偏序集积是Alexandrov空间上MTL-链的本质层。最后，我们用有限MTL-代数的直积和序和给出了所研究的偏序集积的具体描述。

2017-08-10math.CTmath.LO

格蕴涵代数和MTL-代数中的超LI-理想

Ultra LI-ideals in lattice implication algebras and MTL-algebras

指出了格蕴涵代数的超\textit{LI} -理想的一个错误，给出了\textit{LI} -理想是超\textit{LI} -理想的一些新的充必要条件.此外，将\textit{LI} -理想的概念推广到MTL-代数，引入了MTL-代数的（素，超，固执，布尔）\textit{LI} -理想和\textit{ILI} -理想，给出了一些重要的例子，并证明了下列概念在MTL-代数中是等价的：（1）素真\textit{LI} -理想与布尔\textit{LI} -理想，（2）素真\textit{LI} -理想与\textit{ILI} -理想，（3）真顽固\textit{LI} -理想，（4）超\textit{LI} -理想.

2007-10-20math.GMmath.LO

Monoidal t-范数逻辑中全称量词的代数结果

Algebraic results on universal quantifiers in monoidal t-norm based logic

本文通过一个等式描述的一元运算$\forall$扩充了MTL-代数的语言，从而抽象出了全称量词“for any”的原义代数性质。由此得到的代数类称为\emph{MTL-algebras with universal quantifiers}（简称UMTL-代数）。在讨论了UMTL-代数的一些基本代数性质之后，我们开始系统地研究UMTL-代数的主要子类，其中一些子类构成了著名的代数：UMV-代数和一元布尔代数。然后给出了可表示的、单的、半单的UMTL-代数的一些刻画，并得到了UMTL-代数的一些表示。最后，我们建立了基于模态monoidal t-范数的逻辑，并证明了它关于UMTL-代数簇的完备性，从而得到了基于模态monoidal t-范数的逻辑是半线性的一个充要条件.

2019-10-09math.LO

更多相关论文收起更多论文

关于剩余格中滤子的伪不可约性与布尔提升性质

On pseudo-irreducibility and Boolean lifting property of filters in residuated lattices

本文在剩余格中定义伪不可约滤子，刻画滤子及滤子根的布尔提升性质，并引入弱MTL代数等推广结构，从而以代数与拓扑方法解决相关开放问题。

2025-01-19math.LO

Heyting代数和Gödel代数与各种拓扑系统和Esakia空间的范畴论研究

Heyting Algebra and Gödel Algebra vs. various Topological Systems and Esakia Space: a Category Theoretic Study

本文介绍了直觉拓扑系统及其性质。Heyting代数，Gödel代数，Esakia空间和直觉拓扑系统之间的范畴关系也得到了详细的研究。

2020-05-03math.LO

具有预定拓扑密度的布尔代数

Boolean algebras with prescribed topological densities

给出了M的一个定理的简化证明。Rabus和S. Shelah声称，对于每个基数μ，都存在一个具有拓扑密度μ的c.c.c布尔代数。

1999-10-15math.LO

超滤子：其中拓扑动力学=代数=组合学

Ultrafilters: Where topological dynamics = algebra = combinatorics

我们调查拓扑动力学，超滤半群和组合学之间的一些联系。作为应用，我们给出了基于Bergelson和Hindman思想的Hales-Jewett划分定理的一个证明。

1993-09-08math.LO

关于Stonean Hilbert代数的拓扑对偶性

On a topological duality for Stonean Hilbert algebras

Universidad Nacional del Comahue（内乌肯国立大学）

本文为Stonean Hilbert代数及其$\neg$-态射建立拓扑对偶，并用以刻画其$\alpha$-理想的Heyting代数结构。

2026-09-09math.LO

拓扑柱形代数中的归并、插值和同余扩张性质

Amalgamation, interpolation and congruence extension properties in topological cylindric algebras

维数为α，α为任意序数的拓扑柱形代数代数是维数为α的柱形代数代数，它用αS4模态展开.可表示代数中的S4模态是由基于其圆柱约简的表示的拓扑导出的，这不一定是Alexandrov拓扑。对于α>2，可表示代数类是一个不能用有限模式公理化的簇，事实上，Andreka证明了所有复杂性都是关于柱形代数的表示的结果（关于公理化所需变量的数量）（关于Sahlqvist公理化和正则性）和其他，转移到拓扑加法，通过实现一个非常简单的“离散拓扑化一个柱形代数”的过程给定一个维度为α的柱形代数，可以在α中添加许多内部单位元运算，后一个代数可表示为拓扑柱形代数当且仅当前一个是由离散拓扑导出的表示。本文研究了各种拓扑柱形代数的合并性质。我们恢复，在拓扑的背景下，所有的结果证明了安德烈卡，角Madarasz，Nemeti，Pigozzi，塞恩，赛义德艾哈迈德，萨吉，Shelah，西蒙，和其他柱形代数和更多。

2014-01-27math.LO

Stone MV-代数与强完备MV-代数

Stone MV-algebras and Strongly complete MV-algebras

给出了紧Hausdorff拓扑MV-代数和Stone MV-代数的完全刻划。证明了紧Hausdorff拓扑MV-代数是具有标准拓扑的副本$[0,1]$和具有离散拓扑的有限Lukasiewicz链的乘积（拓扑积和代数积）.进一步证明了Stone MV-代数是具有离散拓扑的有限Lukasiewicz链的积（拓扑积和代数积）.我们还证明了MV-代数是强完备的当且仅当它是profinite的，并且它的有限秩的极大理想是主的。

2015-05-04math.LO

空间与时间的拓扑和紧柱形代数

Space and time via Topological and Tense cylindric algebras

设$α$为任意序数，$2<n<ω$。在被《数学学报》接受出版的\cite{3}中，我们简要地研究了用$α$多变量进行拓扑逻辑的代数逻辑、插值、合并和$α$多变量$\sf TopL_α$。这是一个续集\cite{3} ;第二部分模态柱形代数，在那里我们研究代数其他属性的$\sf TopL_α$。模态柱形代数是无限维的柱形代数，用一元模态扩展，从单峰逻辑$\sf L$（如$\sf K5$或$\sf S4$）继承其语义。使用代数逻辑的方法，我们研究符号$\sf TCA_α$中的拓扑（当$\sf L=S4$时）。研究了$\sf TopL_ω$和$\sf TenL_ω$的完备性和省略型$\sf OTT$ s，证明了局部有限的这类代数的几个表示性结果.此外，我们研究了原子规范性的概念，为${\sf TCA}_{n}$和${\sf TenL}_n$，一个众所周知的持久性属性模态逻辑，在$\sf OTT$的${\sf TopL}_n$和${\sf TeLCA}_n$，分别。研究了拓扑柱形代数的可表示性、省略类型、插值和复杂性问题（如不可判定性）.在本文的续集中，我们介绍了时间cylindric代数，并指出如何合并代数的空间（拓扑代数）和代数的时间（时间代数）形成拓扑-时间柱形代数，使自己包含时空gemetries，在一个纯粹的代数方式。

2020-05-18math.LO

ccc布尔代数的拓扑密度-每个基数都出现。

Topological density of ccc Boolean algebras - every cardinality occurs.

对于每一个不可数基数μ，都有一个拓扑密度为μ的ccc布尔代数。

1997-09-15math.GNmath.LO

什么使Stone拓扑代数profinite

What makes a Stone topological algebra profinite

本文是一个贡献，了解什么性质应该是一个石头空间上的拓扑代数满足profinite。我们重新制定和简化证明一些已知的性质，使用语法同余。我们还澄清了各种替代方式的作用，描述句法同余，即由有限集的条款和紧凑集的连续自映射的代数。

2021-09-01math.GNmath.LO

有限代数与仿射有界性

Profinite algebras and affine boundedness

我们证明了profinite代数的一个特征，即，同构于有限离散代数的投射极限的拓扑代数。一般来说，无限性涉及拓扑代数的拓扑和代数特征，而对于拓扑群、环、半群和分配格，无限性是一个纯粹的拓扑性质，因为它等价于底层的拓扑空间是Stone空间。凝聚了这些经典结果的核心思想，我们引入了泛代数的仿射有界性的概念，并证明了紧签名上的仿射有界拓扑代数的不确定性等价于其基础拓扑空间是Stone空间.由于群、半群、环和分配格确实是有限签名上的仿射有界代数，所有这些已知的情形都是我们结果的特例。此外，我们给出了拓扑半环及其模，以及分配结合代数的一些应用。我们还证明了紧签名上的仿射有界单紧代数是连通的或有限的。为了证明主要结果，我们还建立了任何拓扑代数是profinite的当且仅当它的底层空间是Stone空间，它的平移幺半群是等度连续的。

2016-10-03math.GNmath.LOmath.RA