带有限变量数的 Lukasiewicz 逻辑的统一类型

在 {\L}ukasiewicz 逻辑中有限可axiom化理论与有理多面体之间的对应关系的基础上，我们证明了至少有 $n \geq 2$ 个变量的 {\L}ukasiewicz 逻辑片段的统一类型为 nullary。这解决了 [V. Marra 和 L. Spada, Ann. Pure Appl. Logic 164 2013, 第 192-210 页]中留下的一个问题。此外，我们细化了受变量数限制下的统一问题的研究。我们的方案区分问题中允许的变量数 $m$ 和解中使用的变量数 $n$。我们证明了 {\L}ukasiewicz 逻辑中所有 $m,n \geq 2$ 的统一类型为 nullary。