诺里希罗·卡米德 作为模态运算符的次一致双重否定。 (英语) Zbl 1375.03029号 数学。日志。问:。 62,第6期,552-562(2016). 审核人:雅罗斯拉夫·什兰科(Kryvyi Rih) MSC公司:03B53号 03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},数学。日志。Q.62、No.6、552--562(2016;Zbl 1375.03029) 全文: 内政部
诺里希罗·卡米德 关于强否定LJ的Craig插值的注记。 (英语) Zbl 1241.03029号 数学。日志。问:。 57,第4期,第395-399页(2011年).MSC公司:03B50号 03B53号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},数学。日志。问57,第4号,395--399(2011;Zbl 1241.03029) 全文: 内政部