阿贝尔逻辑和卢卡谢维奇逻辑的Sequent和Hypersequent演算
摘要：无限值Lukasiewicz逻辑L到Meyer和Slaney的可交换逻辑A的两种嵌入，即格序可交换群的逻辑。我们为A提供了新的分析证明系统，并利用这些嵌入来推导出L对应的系统。其中包括：A和L的超序列演算和这些演算的停机版本；复杂度为co-NP的A和L的标记单序列演算；A和L的无标记单序列演算。
作者：G. Metcalfe, N. Olivetti and D. Gabbay
论文ID：cs/0211021
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23