Norihiro Kamide;雅罗斯拉夫·什兰科 将多格逻辑嵌入到经典逻辑中，反之亦然。 （英语） Zbl 1444.03090号 J.日志。计算。 27，第5期，1549-1575（2017）。 摘要：本文给出了将多格逻辑的Gentzen型序列演算ML（_n）嵌入到经典逻辑的Gentezen型顺序演算LK中的一些语法和语义嵌入定理，反之亦然。这些嵌入定理被用来证明ML（_n）的截断、可判定性和完备性定理，以及一个修正的Craig插值定理。然后将其中一些结果推广到一阶系统FML（_n），并给出了隐含和共隐含。 引用于1审查引用于15文件 MSC公司： 03B50号 多值逻辑 05年3月 切割消除和正规形定理 03财年03 一般证明理论（包括证明理论语义） 03G10年 格和相关结构的逻辑方面 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}和\textit{Y.Shramko}，J.Log。计算。27，第5号，1549--1575（2017；Zbl 1444.03090） 全文： 内政部