诺里希罗·卡米德 一个结合了合流、准一致否定、经典否定和经典蕴涵的扩展游程有限逻辑:如何构造尼斯-根岑型序列演算。 (英语) Zbl 07603234号 日志。Univers大学。 16,第3期,389-417(2022).MSC公司:03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},日志。Univers大学。16,编号3,389--417(2022;Zbl 07603234) 全文: 内政部
诺里希罗·卡米德 嵌入友好的一阶定义和连接逻辑。 (英语) Zbl 07595243号 J.菲洛斯。日志。 51,第5期,1055-1102(2022).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},J.Philos。日志。51,第5号,1055--1102(2022;Zbl 07595243) 全文: 内政部
诺里希罗·卡米德 证伪软件语义和经典逻辑的顺序计算。 (英语) Zbl 07484057号 J.菲洛斯。日志。 51,编号1,99-126(2022).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},J.Philos。日志。51,编号1,99-126(2022;Zbl 07484057) 全文: 内政部
Norihiro Kamide 替代多格逻辑:一种基于单序列和索引单序列演算的方法。 (英语) Zbl 07450671号 螺柱日志。 109,第6号,1241-1271(2021).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},螺柱日志。109,编号6,1241--1271(2021;Zbl 07450671) 全文: 内政部
诺里希罗·卡米德 格逻辑、双值逻辑和次协调量子逻辑:基于单序列系统的统一框架。 (英语) Zbl 07413737号 J.菲洛斯。日志。 50,编号4,781-811(2021).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},J.Philos。日志。50,编号4,781--811(2021;Zbl 07413737) 全文: 内政部
诺里希罗·卡米德 带经典否定的扩展Belnap-Dunn逻辑的模态和直觉变体。 (英语) Zbl 1515.03097号 J.逻辑语言信息。 30,第3期,491-531(2021).MSC公司:03B45号 03B20型 03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},《逻辑语言期刊》第30期,第3期,491–531页(2021年;Zbl 1515.03097) 全文: 内政部
诺里希罗·卡米德 带或不带拟爆炸的直觉主义反定义逻辑的Kripke完备定理和截断消除定理。 (英语) Zbl 1485.03060号 J.菲洛斯。日志。 第6期第49页,1185-1212页(2020年).MSC公司:03B53号 03B50号 03B20型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},J.Philos。日志。49,第6号,1185--1212(2020;Zbl 1485.03060) 全文: 内政部
诺里希罗·卡米德;尤尼·佐哈尔 理想次协调四值逻辑及其子系统的模态扩展。 (英语) Zbl 1459.03024号 Ann.纯粹应用。逻辑 171,第10号,文章ID 102830,30 p.(2020). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:03B45号 03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}和\textit{Y.Zohar},Ann.Pure Appl。逻辑171,第10号,文章ID 102830,30页(2020;Zbl 1459.03024) 全文: 内政部
诺里希罗·卡米德;尤尼·佐哈尔 一阶理想次协调四值逻辑的完备性和删减。 (英语) Zbl 1481.03010号 螺柱日志。 108,第3期,549-571(2020).MSC公司:03B53号 03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}和\textit{Y.Zohar},Stud.Log。108,第3号,549--571(2020;Zbl 1481.03010) 全文: 内政部
诺里希罗·卡米德 作为模态算子的准一致双重否定。 (英语) 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) 全文: 内政部
诺里希罗·卡米德 不一致容忍的多智能体演算。 (英语) Zbl 1323.03028号 国际期刊不确定性。模糊知识-基于系统。 22,第6期,815-829(2014).MSC公司:03B53号 05年3月 68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},国际期刊不确定。模糊知识-基于系统。22,第6号,815--829(2014;Zbl 1323.03028) 全文: 内政部
诺里希罗·卡米德 弱双重否定的层次。 (英语) Zbl 1329.03064号 螺柱日志。 101,第6期,1277-1297(2013).MSC公司:03B53号 03年2月25日 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},螺柱日志。101,编号61277-1297(2013年;兹bl 1329.03064) 全文: 内政部
诺里希罗·卡米德;海因里希·瓦辛 纳尔逊次协调逻辑的证明理论:一个统一的观点。 (英语) Zbl 1382.03048号 西奥。计算。科学。 415, 1-38 (2012).MSC公司:03B53号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}和\textit{H.Wansing},Theor。计算。科学。415、1--38(2012年;Zbl 1382.03048) 全文: 内政部
肯·卡内瓦;诺里希罗·卡米德 次一致计算树逻辑。 (英语) Zbl 1251.68227号 新一代计算。 29,第4期,391-408(2011).MSC公司:68T27型 03B53号 60年第68季度 68层37 PDF格式BibTeX公司 XML格式引用 \textit{K.Kaneiwa}和\textit{N.Kamide},新一代计算。29,第4号,391--408(2011;Zbl 1251.68227) 全文: 内政部
Norihiro Kamide 关于强否定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) 全文: 内政部
诺里希罗·卡米德 将线性时间时序逻辑嵌入到无限逻辑中:应用于多智能体无限认知线性时间逻辑的简化。 (英语) Zbl 1250.03028号 Fisher,Michael(编辑)等人,《多智能体系统中的计算逻辑》。第九届国际研讨会,CLIMA IX,德国德累斯顿,2008年9月29日至30日。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-642-02733-8/pbk)。计算机科学5405课堂讲稿。人工智能课堂讲稿,57-76(2009)。MSC公司:03B44号 05年3月 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},莱克特。注释计算。科学。5405、57--76(2009年;Zbl 1250.03028) 全文: 内政部
诺里希罗·卡米德 双值否定的Gentzen型方法。 (英语) Zbl 1086.03025号 螺柱日志。 80,编号2-3,265-289(2005).MSC公司:03B60号 05年3月 03B45号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},螺柱日志。80,编号2--3,265--289(2005;Zbl 1086.03025) 全文: 内政部