中村忠雄 一些谓词逻辑之间的适当包含。 （英语） Zbl 0791.03013号 代表工厂。科学。，静冈大学。 27, 13-18 (1993). T.Umezawa公司[静冈大学学报，24，1-8（1990；Zbl 0714.03026号)]研究了几个公理与马尔可夫方案相关的中间谓词逻辑，并证明了这些逻辑之间的包含关系。他治疗以下后遗症：\[\左[\begin{矩阵}D^{**}&\对于所有x（\neg A（x）\vee B）&\到&\对于全部x（x）\ vee B \\D_1^{**{&\对所有x（\neg A（x对于所有x\neg A（x）\vee\存在x A（x对于所有x（x），存在x A（x）。A（x））&\到&\对于所有x A（x。\结束｛矩阵｝\右]\]马尔可夫方案是（V）。LZ表示通过将直觉谓词逻辑添加为公理方案（Z）而获得的中间谓词逻辑。Umezawa证明了以下非正确的包含关系：\[\bigl[\text{LV}\subseteq\text{LD}（发光二极管）_2^{**}\subseteq\text{LD}（发光二极管）_1^{**}\subseteq\text{LD}^{**{，\；\text{LD}^*\subseteq\text{LD}（发光二极管）_ 0^*,\;\文本{LD}（发光二极管）_1 ^*\subseteq\text{LD}（发光二极管）_0^*\bigr]。\]通过克里普克语义学，作者证明了上述所有包含关系都是正确的。他使用M.Wajsberg的技术[数学年鉴109，200-229（1933；Zbl 0008.09702号)]. 他还表明，\（\text{LD}^*\）与\（\text{LD}（发光二极管）_ 1^*\).审核人：Y.Komori（Ohya/Shizuoka） MSC公司： 03B55号 中间逻辑 关键词：中间谓词逻辑；克里普克语义学 引文：Zbl 0714.03026号；Zbl 0008.09702号 PDF格式BibTeX公司 XML格式引用 \textit{T.Nakamura}，众议员。科学。，静冈大学，27，13-18（1993；Zbl 0791.03013）