Skip to main content
CenXiv.org
此网站处于试运行阶段,支持我们!
我们衷心感谢所有贡献者的支持。
贡献
赞助
cenxiv logo > math > arXiv:2306.00109v1

帮助 | 高级搜索

数学 > 逻辑

arXiv:2306.00109v1 (math)
[提交于 2023年5月31日 ]

标题: 粘合剩余格

标题: Gluing residuated lattices

Authors:Nick Galatos, Sara Ugolini
摘要: 我们引入并刻画了剩余格的各种粘合构造,这些构造在公共子重积上相交,并且是所得结构的子代数或适当的子重积。从1-求和构造(也称为剩余结构的序和)开始,其中仅在最大元相交的代数被粘合在一起,我们首先考虑基于同余滤子的粘合,然后进一步加入一个格理想。 我们用(可能为部分的)算子作用于(可能为部分的)剩余结构来刻画这类构造。作为粘合构造的具体例子,我们得到了一些旋转构造的非交换版本,以及一种有趣的半线性剩余格,它们是2幂零的。这项研究还试图通过在特殊情况下构建一个互可组合物(当V型结构中的公共子代数要么是一个特殊的(同余)滤子,要么是滤子与理想的并集时),为非交换剩余格的互可组合性研究迈出第一步。
摘要: We introduce and characterize various gluing constructions for residuated lattices that intersect on a common subreduct, and which are subalgebras, or appropriate subreducts, of the resulting structure. Starting from the 1-sum construction (also known as ordinal sum for residuated structures), where algebras that intersect only in the top element are glued together, we first consider the gluing on a congruence filter, and then add a lattice ideal as well. We characterize such constructions in terms of (possibly partial) operators acting on (possibly partial) residuated structures. As particular examples of gluing constructions, we obtain the non-commutative version of some rotation constructions, and an interesting variety of semilinear residuated lattices that are 2-potent. This study also serves as a first attempt toward the study of amalgamation of non-commutative residuated lattices, by constructing an amalgam in the special case where the common subalgebra in the V-formation is either a special (congruence) filter or the union of a filter and an ideal.
评论: 这是一篇预印本。本工作的最终版本发表在《Order》上。
主题: 逻辑 (math.LO)
MSC 类: 06F05, 08A55, 06A15, 08A05
引用方式: arXiv:2306.00109 [math.LO]
  (或者 arXiv:2306.00109v1 [math.LO] 对于此版本)
  https://doi.org/10.48550/arXiv.2306.00109
通过 DataCite 发表的 arXiv DOI
相关 DOI: https://doi.org/10.1007/s11083-023-09626-w
链接到相关资源的 DOI

提交历史

来自: Sara Ugolini [查看电子邮件]
[v1] 星期三, 2023 年 5 月 31 日 18:33:27 UTC (44 KB)
全文链接:

获取论文:

    查看标题为《》的 PDF
  • 查看中文 PDF
  • 查看 PDF
  • TeX 源代码
  • 其他格式
许可图标 查看许可
当前浏览上下文:
math.LO
< 上一篇   |   下一篇 >
新的 | 最近的 | 2023-06
切换浏览方式为:
math

参考文献与引用

  • NASA ADS
  • 谷歌学术搜索
  • 语义学者
a 导出 BibTeX 引用 加载中...

BibTeX 格式的引用

×
数据由提供:

收藏

BibSonomy logo Reddit logo

文献和引用工具

文献资源探索 (什么是资源探索?)
连接的论文 (什么是连接的论文?)
Litmaps (什么是 Litmaps?)
scite 智能引用 (什么是智能引用?)

与本文相关的代码,数据和媒体

alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)

演示

复制 (什么是复制?)
Hugging Face Spaces (什么是 Spaces?)
TXYZ.AI (什么是 TXYZ.AI?)

推荐器和搜索工具

影响之花 (什么是影响之花?)
核心推荐器 (什么是核心?)
IArxiv 推荐器 (什么是 IArxiv?)
  • 作者
  • 地点
  • 机构
  • 主题

arXivLabs:与社区合作伙伴的实验项目

arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。

与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。

有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.

这篇论文的哪些作者是支持者? | 禁用 MathJax (什么是 MathJax?)
  • 关于
  • 帮助
  • contact arXivClick here to contact arXiv 联系
  • 订阅 arXiv 邮件列表点击这里订阅 订阅
  • 版权
  • 隐私政策
  • 网络无障碍帮助
  • arXiv 运营状态
    通过...获取状态通知 email 或者 slack

京ICP备2025123034号