对合交换剩余格类中的稠密化
逻辑
2023-12-12 v1
摘要
文献[10]中讨论的奇或偶对合FLe-链通过层群束的表示定理被重新定义，以展示奇或偶对合FLe-链与层群束之间更直接的构造关系，绕过了层代数这一中间阶段。利用这一定理，证明了半线性奇对合FLe-代数簇及其幂等对称子簇均具有稠密化性质。最终，运用文献[11]中引入的代数技术，建立了具有不动点的对合无范数逻辑（IULfp）的强标准完备性，从而强化了文献[9]的主要结果。
引用
@article{arxiv.2312.05845,
title = {Densification in classes of involutive commutative residuated lattices},
author = {Sándor Jenei},
journal= {arXiv preprint arXiv:2312.05845},
year = {2023}
}