透过Łukasiewicz逻辑的透镜看热带化，兼论拓扑斯理论视角
逻辑
2025-01-14 v2
摘要
本文的主要目的是利用代数、几何和逻辑工具，展示Łukasiewicz逻辑与代数几何之间的相互联系。我们继续研究基于幂等半域（特别是与MV-代数相关的那些）的新代数几何，描述了与热带几何和多值逻辑相关的不同结构之间的范畴等价。此外，我们以拓扑斯理论的角度描述了这些联系。
引用
@article{arxiv.2409.08682,
title = {Tropicalization through the lens of {\L}ukasiewicz logic, with a topos theoretic perspective},
author = {Antonio Di Nola and Giacomo Lenzi and Brunella Gerla},
journal= {arXiv preprint arXiv:2409.08682},
year = {2025}
}