Gluing residuated lattices
本文研究剩余格在公共子约化结构上相交的粘合构造，从1-和出发推广到余同余滤子及滤子与理想的并，用偏算子刻画构造，得到旋转构造的非交换版本和2-幂等半线性剩余格，并初步探讨非交换剩余格的融合问题。
2023-05-31 math.LO
Dense Elements and Classes of Residuated Lattices
本文研究了剩余格、具有提升布尔中心的剩余格、单剩余格、局部剩余格、半局部剩余格和拟局部剩余格的稠密元和根。BL-代数具有提升布尔中心，满足BL-代数所满足的方程的Glivenko剩余格也具有提升布尔中心。
2009-01-12 math.LO
Projectivity in (bounded) integral residuated lattices
本文从代数（而不是范畴）的角度研究了各种（有界）交换积分剩余格中的投射代数。特别地，我们在剩余格中使用了一个公认的构造：序数和。它与整除性的相互作用使我们的结果在可除交换积分剩余格的各种类型中有更好的适用范围，并且它允许我们证明许多这样的类型具有每个可除表示代数都是投射的性质.特别是，我们得到的结果（斯通）海廷代数，某些品种的箍，和产品代数。此外，我们研究品种的布尔收缩项，例如，在各种布尔收缩项的所有有限布尔代数是投射。最后，我们把我们的结果与统一理论联系起来。
2022-09-02 math.LO
Algebraic and Topological Results on Lifting Properties in Residuated Lattices
我们定义提升性能的泛代数，我们研究在这个一般的背景下，然后具体到各种这样的性质在某些类别的代数。接下来，我们专注于剩余格，在其中，我们调查提升性质的布尔和幂等元模任意，以及特定种类的过滤器。本文给出了布尔元提升性质的拓扑刻画以及与之相关的几个性质，其中许多性质是利用格网得到的。
2014-03-19 math.LO
A categorical equivalence for Stonean residuated lattices
分配Stonean剩余格与Stone代数密切相关，因为它们的有界格约简是Stone代数。在目前的工作中，我们遵循陈和Grätzer提出的想法，并试图将它们应用于Stonean剩余格的情况。给定一个Stonean剩余格，我们考虑由它的布尔骨架、稠密元代数和一个连通映射构成的三元组。我们定义了一个范畴，其对象是这些三元组和适当定义的态射，并证明了我们有一个范畴之间的范畴和斯通剩余格的范畴等价。我们比较我们的结果与其他作品，并显示一些应用的等价性。
2017-10-17 math.LO
Residuation in non-associative MV-algebras
每个MV-代数都可以转化为满足可除性和双重否定律的剩余格。在我们以前的论文中，我们引入了NMV-代数的概念，它是MV-代数的非结合修改。一个自然的问题是，一个NMV-代数是否也可以转换成一个剩余结构。与MV-代数相反，NMV-代数不是基于格，而是仅基于有向偏序集，并且二元运算不需要是结合的，因此我们不能期望得到剩余格，而只能得到一个本质上较弱的结构，称为条件剩余偏序集。考虑几个额外的自然条件，我们证明了每个NMV-代数可以转换成这样的结构。反过来，每个这样的结构都可以组织成一个NMV-代数。此外，我们研究一个代数的更强版本，其中二元运算甚至是单调的。我们表明，这样的代数可以组织成一个剩余偏序集，相反，每一个剩余偏序集可以在这个结构转换。
2018-10-04 math.LO
Sheaf of Residuated Lattices
本文发展了剩余格的层与平展空间理论，构造了茎上剩余的平展空间并证明其构成子范畴，同时给出了层条件的范畴与拓扑刻画。
2025-07-16 math.LO
Epimorphisms in varieties of residuated structures
证明了满射在一系列剩余结构中是满射的，包括有限深度的Heyting或Brouwerian代数的所有变种，以及Goedel代数、相关Stone代数、Sugihara幺半群或正Sugihara幺半群的所有变种.这为相应的子结构逻辑范围建立了无限演绎Beth可定义性。另一方面，它表明，满射不需要在一个局部有限的各种宽度为2的Heyting或Brouwerian代数满射。因此，无限Beth性质严格强于所谓的有限Beth性质，证实了Blok和Hoogland的猜想。
2021-07-13 math.LO
Terms that define nuclei on residuated lattices: a case study of BL-algebras
本文研究剩余格上满足乘法不等式的核算子，重点刻画能在BL-代数各子簇中一致定义核的项，推广双重否定运算，并给出完整分类与非平凡例子。
2024-12-27 math.LO
The structure of finite commutative idempotent involutive residuated lattices
我们将交换幂等对合剩余格刻画为排列在分配格上的布尔代数的不交并。我们使用这个描述来介绍一种新的构造，称为胶合，它允许我们从其他的构造中构建这个变体的新成员。特别地，所有有限成员都可以用这种方式从布尔代数构造。最后，我们应用我们的构造证明了任何有限成员的fusion约化是分配半格，并证明了这个簇不是局部有限的。
2021-08-25 math.LO
Epimorphisms in varieties of subidempotent residuated structures
一个交换剩余格A称为次幂等的，如果它的中性元e的下界是幂等的（在这种情况下，它们自然构成一个Brouwerian代数A*）。本文证明了满射在这类代数A（有或无对合）的一个簇K中是满射的，只要K中的每个n次直不可约代数B具有两个性质：（1）B由e的下界生成，（2）B* 的素滤子的偏序集具有有限深度.（1）和（2）都不能放弃。该证明适应于边界的存在。这一结果推广了G. Bezhanishvili和前两个作者关于满态的品种Brouwerian代数，海廷代数和Sugihara monoids，但其范围也包括一系列有趣的品种德摩根monoids。
2020-11-30 math.LO
The finite representation property for some reducts of relation algebras
本文证明了可表示剩余半群类具有有限表示性质。也就是说，每个有限可表示剩余半群同构于有限基上的某个代数。这个结果给出了Hirsch和Hodkinson \cite{hirsch2002relation}专著中问题19.17的正解。
2020-12-10 math.LO
Blockwise Gluings And Amalgamation Failures in Integral Residuated Lattices
本文提出块状粘合构造，证明了若干变种缺乏合并性质，并展示了其在逻辑理论中的影响。
2025-12-19 math.LO
Residuated Basic Logic I
研究了剩余基本代数的剩余基本逻辑（$\mathsf{RBL}$），其中Visser的基本命题逻辑（$\mathsf{BPL}$）的基本蕴涵被解释为非结合二元算子$\cdot$（积）的右剩余.本文建立了剩余基本代数的代数系统$\mathsf{S_{RBL}}$，证明了$\mathsf{RBL}$是$\mathsf{BPL}$的保守扩张.给出了分配全非结合Lambek演算（$\mathsf{DFNL}$）的推广$\mathsf{S_{RBL}}$的形式化$\mathsf{L_{RBL}}$，并证明了它的割消和子公式性质.
2014-02-24 cs.LO math.LO
Unsharp residuation in effect algebras
效应代数和伪效应代数是由Foulis、Bennett、Dvurecenskij和Vetterlein作为所谓的量子结构引入的，它们作为量子力学逻辑的代数公理化。一个自然的问题涉及到它们与子结构逻辑的联系，子结构逻辑是通过剩余格或偏序集来描述的。在以前的文件中，它表明，一个效果代数可以组织成一个所谓的条件剩余的结构，其中的伴随性条件只适用于那些元素的乘法和含义的定义。由于这是一个很强的限制，我们试图找到另一种剩余，其中伴随条件中出现的项处处定义，尽管给定的效果代数的二元运算只是部分的。此外，我们的工作与效果代数不需要格序，因此格操作加入和满足取代的手段，上，下锥，然而，不是元素，但子集。因此，由此产生的概念，所谓的非锐化剩余偏序集，配备了替代操作的LU-条款，但处处定义。虽然这个概念似乎相当复杂，乍一看，我们证明了这样一个unsharp剩余偏序集可以反过来组织成一个效果代数或伪效果代数取决于交换乘法。
2019-07-05 math.LO
A categorical equivalence for monadic algebras of first-order substructural logics motivated by Kalman's construction
School of Science, Xi’an Shiyou University（西安石油大学理学院）；School of Science, Xi Hang University（西安航天大学理学院）；CONICET and Departamento de Matematica, Facultad de Ciencias Exactas, Universidad Nacional del Centro de la Provincia de Buenos Aires（阿根廷布宜诺斯艾利斯省中部国立大学精确科学学院数学系与阿根廷国家科学研究委员会）
本文通过卡曼构造，研究单子余分配格的范畴等价性，并扩展了相关领域的研究成果。
2026-01-29 math.LO
Strictly join irreducible varieties of residuated lattices
研究了剩余格的子簇格中的（严格）连接不可约簇。我们探讨连接良好的代数和适当的推广，特别是集中在可表示的品种的连接。此外，我们发现削弱的概念Hallden完整性的特点加入不可约。我们刻画了基本环的严格并不可约簇，并利用广义旋转构造在MTL-代数的子簇中寻找严格并不可约簇。我们还得到了一些一般性的结果，线性品种的剩余格，特别是专注于可表示的品种，和基本箍的线性品种的特征。
2021-05-04 math.LO math.RA
Generalized Bosbach States
Bosbach状态表示一种概率地评估来自各种（交换或非交换）多值逻辑的公式的方式。它们被定义在对应于这些逻辑的代数上，值在$[0,1]$中。从观察到Bosbach态的定义中有$[0,1]$的标准MV-代数结构介入出发，本文引入了定义在剩余格上的Bosbach态，其值在剩余格上.我们被引导到两种类型的广义Bosbach状态，具有不同的行为。本文所证明的广义Bosbach态的性质，可以作为发展某些概率多值逻辑的代数基础。{ \bf Keywords}：Bosbach态，剩余格，MV-代数，$s$ -柯西完备化，度量完备化. { \bf MSC 2010}：主要06 F35。中学06 D35。
2010-07-15 math.LO
Negative Translations of Orthomodular Lattices and Their Logic
我们引入剩余正交格作为一个推广-和环境的调查-正交模格。我们建立了一些基本的代数事实，这些结构，特征orthomodular格作为那些剩余的ortholatices，其剩余操作是项定义的对合格签名，并证明，剩余ortholatices是代数命题逻辑的等价代数语义。我们还表明，正交模格可以解释剩余正交格通过翻译的精神，双否定翻译的布尔代数到Heyting代数，并结束了一些评论的可判定性。
2021-09-13 math.LO quant-ph
Why most papers on filters are really trivial (including this one)
本文指出剩余结构及其子归约体中大量滤子相关论文，本质上只是既有更一般结论的平凡推论。
2023-09-26 math.LO
Singly generated quasivarieties and residuated structures
代数的拟簇K具有联合嵌入性质（JEP）当且仅当它由单个代数A生成。它是结构完备的当且仅当K中的自由可数生成代数可以作为A。这种要求的一个结果，称为“被动结构完备性”（PSC），是K的非平凡成员都满足相同的存在肯定句。证明了若K是PSC，则它仍有JEP;若K有JEP且其非平凡成员缺少平凡子代数，则其相对简单的成员都属于其中一个生成的泛类.在这些条件下，如果K是相对半单的，则它是由一个K-单代数生成的。它是极小拟簇，如果它是PSC但不能统一某些有限集方程。我们还证明了具有有限个非平凡成员的有限型拟簇是PSC当且仅当它的非平凡成员有一个公共收缩核。然后将该理论应用于各种德摩根幺半群，在那里我们隔离的子（准）品种是PSC和那些有JEP，而扔在那些结构完整的新鲜光。这些结果对直觉逻辑和关联逻辑的可拓格具有启发意义。
2019-02-11 math.LO
Reducts of relation algebras: The aspects of axiomatisability and finite representability
本文证明了可表示剩余半群类具有有限表示性质。也就是说，每个有限可表示的剩余半群都在有限基上可表示。这个结果给出了Hirsch和Hodkinson \cite{hirsch2002relation}专著中问题19.17的正解。我们还证明了这类可表示的联半格序半群是伪泛的，并且具有递归可表示的公理化。为此，我们引入了联半格序半群的可表示性对策。
2021-11-03 math.LO
Filters on some classes of quantum B-algebras
本文继续研究量子B-代数，重点研究积分量子B-代数上的滤子。然后，我们研究过滤器设置的伪箍。首先，我们建立了一个嵌入的cartesion积的极的伪箍本身。其次，给出了伪环亚直约的充分条件。我们还将Kondo和Turunen的结果推广到非交换剩余$\vee$ -半格的情形，即如果剩余$\vee$ -半格$A$的素滤子与$\vee$ -素滤子重合，则$A$必是伪MTL-代数.
2018-09-09 math.LO math.QA
Amalgamation in Semilinear Residuated Lattices
本文综述了半线性剩余格簇中融合性质的研究现状，重点讨论幂等簇、纽结簇、可消去簇及相关代数结构，并证明交换半线性剩余格簇不具有融合性质，同时解决了若干遗留未决问题。
2024-07-31 math.LO math.RA
Locality in Residuated-Lattice Structures
University of Queensland（昆士兰大学）
研究经典局部性定理（Hanf和Gaifman）在剩余格框架下的成立条件，发现局部性的理解方式与代数性质影响定理成立，通过序解释连接词恢复主要引理。
2026-06-18 cs.LO math.LO
Nelson algebras, residuated lattices and rough sets: A survey
本文综述了Nelson代数作为带强否定构造逻辑代数对应物在过去二十年的发展，探讨其推广N4-lattices及在对偶性和粗糙集理论中的应用，并给出基于粗糙集的表示定理。
2024-03-02 cs.LO math.LO
Ideal on CL-algebra
本文在CL-代数上引入了理想的概念。证明了这一概念推广了剩余格上的理想概念。定义了CL-代数上的素理想，得到了一些有趣的性质。证明了CL-代数所对应的商代数借助于理想也是CL-代数。
2020-07-27 math.LO
Formal Concepts and Residuation on Multilattices
University of Dschang（杜尚格大学）；Bern University of Applied Sciences（伯尔尼应用科学大学）
本文研究了多格中的形式概念与残余运算，构造了最小纯多格并证明其为所有纯多格的子多格，同时展示了非残余格的有界残余多格至少有七个元素，并在形式概念分析中应用这些结构。
2023-05-24 math.LO
On principal congruences in distributive lattices with a commutative monoidal operation and an implication
本文引入并研究了一类代数，它适当地包含了整分配交换剩余格和弱Heyting代数。我们的主要目标是给出这个簇的主同余的一个刻画。我们应用这个描述来研究相容函数。
2018-04-18 math.LO
Maximal theories of product logic
本文研究乘积代数的极大滤子及其与乘积hoop的关系，通过构造证明乘积hoop同构于乘积代数的极大滤子，刻画了乘积代数极大滤子的等式理论，完善了乘积逻辑的代数语义研究。
2023-08-25 math.LO
Some kinds of $(\overline{\in},\overline{\in}\vee \overline{q})$-fuzzy filters of $BL$-algebras
引入了$BL$ -代数的$(\overline{\in},\overline{\in} \vee \overline{q})$ -模糊（蕴涵、正蕴涵和奇异）滤子的概念，并研究了它们的一些性质.这些广义模糊过滤器的一些特征。特别地，我们描述了$BL$ -代数的普通模糊（蕴涵、正蕴涵和奇异）滤子、$(\in,\ivq)$ -模糊（蕴涵、正蕴涵和奇异）滤子和$(\overline{\in},\overline{\in} \vee \overline{q})$ -模糊（蕴涵、正蕴涵和奇异）滤子之间的关系.最后证明了$BL$ -代数$L$上的模糊集$F$是$L$的$(\overline{\in},\overline{\in} \vee \overline{q})$ -模糊蕴涵滤子当且仅当它既是$(\overline{\in},\overline{\in} \vee \overline{q})$ -模糊正蕴涵滤子又是$(\overline{\in},\overline{\in} \vee \overline{q})$ -模糊奇异滤子.
2009-05-23 math.LO
Interval valued $(\in,\ivq)$-fuzzy filters of pseudo $BL$-algebras
引入了模糊区间值与区间值模糊集的拟重合的概念。利用这一新思想，我们引入了伪$BL$ -代数的区间值$(\in,\ivq)$ -模糊滤子的概念，并研究了它们的一些相关性质.给出了这类广义区间值模糊滤子的一些特征定理。研究了伪$BL$ -代数的广义区间值模糊滤子之间的关系。最后，我们考虑了伪$BL$ -代数的基于蕴涵的区间值模糊蕴涵滤子的概念，特别是讨论了连续值逻辑Lukasiewicz系统中的蕴涵算子。
2008-03-16 math.GM math.LO
