诺里希罗·卡米德 三格逻辑：一种基于嵌入的方法。 （英语） Zbl 1348.03025号 J.日志。计算。 25，第3期，581-611（2015）. 摘要：与非次协调和二值逻辑相比，次协调多值逻辑在描述不一致容忍和不确定推理方面更为合适。Shramko Wansing的三格逻辑是基于三格代数结构的准一致十六值逻辑，可以适当地表示广义真值。本文利用两个嵌入定理，得到了这种三格逻辑的截断和完备性定理的另一种新的证明。该逻辑的Craig插值和Maksimova分离定理也使用相同的嵌入定理进行了证明。Craig插值和Maksimova分离的结果是本文的新结果。此外，上述结果被扩展到三格逻辑的时间扩展。时间扩展的结果也是本文的新贡献。 引用于5文件 MSC公司： 03B53号 准一致逻辑 03B50号 多值逻辑 05年3月 切割消除和正规形定理 关键词：次一致多值逻辑;三点阵逻辑;切割消除;完备性定理;克雷格插值;马克西莫娃分离定理 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，J.Log。计算。25，第3号，581--611（2015；Zbl 1348.03025） 全文： 内政部