乘积逻辑的最大理论
摘要：产品逻辑是由连续t-范数引起的模糊逻辑之一，其等效代数语义是产品代数的种类。在本文中，我们研究产品代数的最大滤波器以及它们与产品抛环的关系。后者构成了产品代数的0-自由子收缩的种类。给定任何产品抛环，我们构造一个产品代数，其中的产品抛环是（同构于）最大滤波器。这意味着，作为保留格，产品抛拳恰好与产品代数的最大滤波器相一致。在这个意义上，我们表征了产品代数最大滤波器的等式理论。
作者：Valeria Giustarini, Sara Ugolini
论文ID：2308.13410
分类：Logic
分类简称：math.LO
提交时间：2023-08-28