阿加塔·西阿巴托尼；蒂莫·朗；雷文莎·拉马纳亚克 非经典逻辑通过超序列的有界序列计算。 （英语） Zbl 1468.03021号 Cerrito，Serenella（编辑）等人，《使用分析表和相关方法的自动推理》。第28届国际会议，2019年9月3日至5日，英国伦敦，TABLEAUX 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11714, 94-110 (2019). 摘要：以子结构逻辑和模态逻辑为例，提出了一种统一的方法，将无割超序列证明转化为满足子公式性质松弛的连续微积分证明。作为推论，我们证明了一大类具有收缩和混合的交换子结构逻辑的可判定性，并得到了一个众所周知结果的简单句法证明：S5的序列演算是解析的。关于整个系列，请参见[Zbl 1428.68011号]. 引用于三文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03B47号 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑） 05年3月 切割消除和正规形定理 03财年03 一般证明理论（包括证明理论语义） PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}等人，Lect。注释计算。科学。11714、94-110（2019；Zbl 1468.03021） 全文： 内政部