Norihiro Kamide;大森，Hitoshi 具有经典否定的扩展一阶Belnap-Dunn逻辑。 （英语） Zbl 1496.03104号 Baltag，Alexandru（编辑）等人，《逻辑、理性与互动》。2017年9月11日至14日在日本札幌举行的2017年LORI第六届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10455, 79-93 (2017). 摘要：在本文中，我们研究了一个具有经典否定的扩展的一阶Belnap-Dunn逻辑。我们为这个逻辑引入了一个Gentzen型序列演算（mathrm{FBD}+\），并证明了在一阶经典逻辑的Gentzen-type序列演算中语法和语义嵌入的定理。此外，我们还证明了\（mathrm{FBD}+\）的删减定理，并证明了关于\（mathr m{FBD}+\的赋值语义和多值语义的完备性定理。关于整个系列，请参见[Zbl 1369.68010号]. 引用于1审查引用于6文件 理学硕士： 03B50号 多值逻辑 03B47号 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑） 03B53型 准一致逻辑 05年3月 切割消除和正规形定理 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}和\textit{H.Omori}，莱克特。注释计算。科学。10455，79-93（2017；Zbl 1496.03104） 全文： 内政部