Abel和Lukasiewicz逻辑的序列演算和超演算
Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics
摘要：
本文给出了无限值Lukasiewicz逻辑L到Meyer和Slaney的阿贝尔逻辑A（格序阿贝尔群的逻辑）的两个嵌入。我们给出了A的新的解析证明系统，并利用嵌入导出了L的相应系统。其中包括：A和L的超代数演算以及这些演算的终止版本;复杂性co-NP的A和L的标记单代数演算; A和L的未标记单代数演算。
英文摘要：
We present two embeddings of infinite-valued Lukasiewicz logic L into Meyer and Slaney's abelian logic A, the logic of lattice-ordered abelian groups. We give new analytic proof systems for A and use the embeddings to derive corresponding systems for L. These include: hypersequent calculi for A and L and terminating versions of these calculi; labelled single sequent calculi for A and L of complexity co-NP; unlabelled single sequent calculi for A and L.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
