带有模态算子的Gödel代数的旋转
综合数学
2024-05-31 v1 人工智能
计算机科学中的逻辑
摘要
本文致力于研究Gödel代数（带算子）进行连通与非连通旋转所产生的结构效果。我们将呈现由此构成的结构，并在直接不可分解结构上定义特殊模态算子。本文给出这些后者结构的（准）等式定义。我们的主要结果表明，直接不可分解的最低 nilpotent（带或不带否定固定点，取决于旋转是否为连通）最低代数（带模态算子）可被完全表述为直接不可分解的Gödel代数（带模态算子）的连通与非连通旋转所描述。
引用
@article{arxiv.2405.19354,
title = {Rotations of G\"odel algebras with modal operators},
author = {Tommaso Flaminio and Lluis Godo and Paula Menchón and Ricardo O. Rodriguez},
journal= {arXiv preprint arXiv:2405.19354},
year = {2024}
}