诺里希罗·卡米德 关于二元论逻辑的注记。 （英语） Zbl 1036.03006号 数学。日志。问：。 49，第5期，519-524（2003）. 摘要：本文表明古德曼的二元论逻辑之间存在对应关系[N.D.古德曼、Z.数学。Logik Grundlagen数学。27, 119–126 (1981;Zbl 0467.03019号)]和Nelson的构造逻辑[A.阿尔穆卡达和D.纳尔逊，J.Symb。日志。49, 231–233 (1984;Zbl 0575.03016号)].审核人：穆罕默德·阿德希尔（德黑兰） 引用于5文件 MSC公司： 03B20型 经典逻辑子系统（包括直觉逻辑） 05年3月 切割消除和正规形定理 关键词：二元论逻辑;古德曼逻辑;尼尔森逻辑 引文：Zbl 0467.03019号;Zbl 0575.03016号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，数学。日志。企49、5号、519--524（2003；Zbl 1036.03006） 全文： 内政部