诺里希罗·卡米德 支持拒绝的Gentzen-style计算，用于命题非自由线性时间时序逻辑。 （英语） Zbl 07767288号 螺柱日志。 111，第6期，979-1014（2023）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，螺柱日志。111，编号6，979--1014（2023；Zbl 07767288） 全文： DOI程序
诺里希罗·卡米德 包括S4和S5在内的正常模态逻辑的伪造软件计算和语义。 （英语） Zbl 07726395号 J.逻辑语言信息。 32，第3号，395-440（2023）.MSC公司：03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，J.Logic Lang.Inf.32，No.3，395--440（2023年；Zbl 07726395） 全文： DOI程序
诺里希罗·卡米德 结合合并、次一致否定、经典否定和经典蕴涵的扩展悖论逻辑：如何构造尼斯-根森型序列演算。 （英语） Zbl 07603234号 日志。通用。 16，第3期，389-417（2022）.MSC公司：03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，日志。Univers大学。16，编号3，389--417（2022；Zbl 07603234） 全文： DOI程序
诺里希罗·卡米德 嵌入友好的一阶定义和连接逻辑。 （英语） 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） 全文： DOI程序
诺里希罗·卡米德 证伪软件语义和经典逻辑的顺序计算。 （英语） 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） 全文： DOI程序
诺里希罗·卡米德 带经典否定的扩展Belnap-Dunn逻辑的模态和直觉变体。 （英语） Zbl 1515.03097号 J.逻辑语言信息。 30，第3期，491-531（2021）.MSC公司：03B45号 03B20型 03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，J.Logic Lang.Inf.30，No.3，491--531（2021年；Zbl 1515.03097） 全文： DOI程序
诺里希罗·卡米德 带或不带拟爆炸的直觉主义反定义逻辑的Kripke完备定理和截断消除定理。 （英语） Zbl 1485.03060号 J.菲洛斯。日志。 49，第6期，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） 全文： DOI程序
诺里希罗·卡米德 成串的顺序信息。 （英语） Zbl 1436.03144号 J.应用。日志。 15, 150-170 (2016).MSC公司：03B47号 03B45号 03B70号 05年3月 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，J.应用。日志。15、150-170（2016年；Zbl 1436.03144） 全文： DOI程序
诺里希罗·卡米德 具有层次信息的不一致容忍时间推理。 （英语） Zbl 1390.68610号 信息科学。 320, 140-155 (2015).MSC公司：68T27型 03B44号 03B53号 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，信息科学。320140-155（2015；Zbl 1390.68610） 全文： DOI程序
诺里希罗·卡米德 弱双重否定的层次结构。 （英语） Zbl 1329.03064号 螺柱日志。 101，第6期，1277-1297（2013）.MSC公司：03B53号 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，螺柱日志。101，第6号，1277--1297（2013；Zbl 1329.03064） 全文： DOI程序
诺里希罗·卡米德;海因里希·瓦辛 纳尔逊次协调逻辑的证明理论：一个统一的观点。 （英语） 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） 全文： DOI程序
诺里希罗·卡米德 有界线性时间逻辑：一项实证研究。 （英语） Zbl 1241.03015号 Ann.纯粹应用。逻辑 第4期第163页，第439-466页（2012年）.MSC公司：03B44号 03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，Ann.纯苹果。逻辑163，No.4，439--466（2012；Zbl 1241.03015） 全文： DOI程序
肯·卡内瓦;诺里希罗·卡米德 Paraconsistent计算树逻辑。 （英语） 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） 全文： DOI程序
诺里希罗·卡米德 关于强否定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） 全文： DOI程序
诺里希罗·卡米德;海因里希·瓦辛 将线性时间逻辑与构造性和超一致性相结合。 （英语） Zbl 1207.03022号 J.应用。日志。 8，第1号，33-61（2010）. 审核人：Osamu Sonobe（福洛尼卡） MSC公司：03B44号 03B70号 03B53号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}和\textit{H.Wansing}，J.Appl。日志。8，编号1，33-61（2010年；Zbl 1207.03022） 全文： DOI程序
诺里希罗·卡米德 结合经典否定和准一致否定的证明系统。 （英语） Zbl 1171.03012号 螺柱日志。 91，第2期，217-238（2009）.MSC公司：03B53号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，螺柱日志。91，第2号，217--238（2009；Zbl 1171.03012） 全文： DOI程序
诺里希罗·卡米德 作为资源运算符的线性指数：具有有界指数的可判定一阶线性逻辑。 （英语） Zbl 1178.03078号 Hölldobler，Steffen（编辑）等人，《人工智能中的逻辑》。第11届欧洲会议，JELIA 2008，德国德累斯顿，2008年9月28日至10月1日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87802-5/pbk）。计算机科学课堂讲稿5293。人工智能课堂讲稿，245-257（2008）。MSC公司：03楼52 03B25号 05年3月 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，莱克特。注释计算。科学。5293、245--257（2008；Zbl 1178.03078） 全文： DOI程序
诺里希罗·卡米德 资源敏感强否定的阶段语义和Petri网解释。 （英语） Zbl 1159.03329号 J.逻辑语言信息。 15，第4期，371-401（2006）.MSC公司：03楼52 68问题85 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，J.Logic Lang.Inf.15，No.4，371--401（2006；Zbl 1159.03329） 全文： DOI程序
诺里希罗·卡米德 具有时间、空间和认知算子的线性和仿射逻辑。 （英语） Zbl 1175.03039号 西奥。计算。科学。 353，编号1-3165-207（2006）.MSC公司：03楼52 03B45号 PDF格式BibTeX公司 XML格式引用 \文本{N.Kamide}，Theor。计算。科学。353，编号1--3，165-207（2006；Zbl 1175.03039） 全文： DOI程序
诺里希罗·卡米德 双值否定的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） 全文： DOI程序
诺里希罗·卡米德 带强否定的正规模态子结构逻辑。 （英语） Zbl 1045.03027号 J.菲洛斯。日志。 32，第6号，589-612（2003）. 审核人：路易斯·高布尔（塞勒姆） MSC公司：03B47号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，J.Philos。日志。32，第6号，589--612（2003；Zbl 1045.03027） 全文： DOI程序