薛涛;罗朝晖;斯特吉奥斯·查齐基里亚基迪斯 判断性解释的命题形式。 (英语) Zbl 07753648号 J.逻辑语言信息。 32,第4期,733-758(2023年).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Xue}等人,J.Logic Lang.Inf.32,No.4,733--758(2023;Zbl 07753648) 全文: DOI程序
阿比塞克·桑卡拉 一阶逻辑前缀类的Feferman-vought分解。 (英语) 兹伯利07727823 J.逻辑语言信息。 32,编号1,147-174(2023).MSC公司:03C13号机组 03C40号 03元52分 05二氧化碳 05C38号 05C62号 05C69号 05C75号 PDF格式BibTeX公司 XML格式引用 \textit{A.Sankaran},J.Logic Lang.Inf.32,No.1,147--174(2023年;Zbl 07727823) 全文: DOI程序 arXiv公司
马特伊·乌尔巴斯;马蒂亚·贾姆尼克;斯台普顿,宝石 Speedith:蜘蛛图推理器。 (英语) Zbl 1362.68252号 J.逻辑语言信息。 24,第4期,487-540(2015).MSC公司:68吨15 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Urbas}等人,J.Logic Lang.Inf.24,No.4,487--540(2015;Zbl 1362.68252) 全文: DOI程序 链接
斯特吉奥斯·查齐基里亚基迪斯;罗朝晖 Coq中的自然语言推理。 (英语) Zbl 1305.68193号 J.逻辑语言信息。 23,第4期,441-480(2014).MSC公司:68T50型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Chatzikyriakidis}和\textit{Z.Luo},J.Logic Lang.Inf.23,No.4,441--480(2014;Zbl 1305.68193) 全文: DOI程序
马克·卡明斯基;格特·斯莫尔卡 具有差分和逆的混合逻辑的终止表系统。 (英语) Zbl 1188.03013号 J.逻辑语言信息。 18,第4期,437-464(2009). 审核人:埃米利奥·穆尼奥斯·韦拉斯科 MSC公司:03B45号 03B35型 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kaminski}和\textit{G.Smolka},J.Logic Lang.Inf.18,No.4,437--464(2009;Zbl 1188.03013) 全文: DOI程序
卢卡斯·狄克逊;阿兰·斯梅尔;Tracy Tsang 使用线性逻辑进行计划、行动和对话。 (英语) Zbl 1166.68357号 J.逻辑语言信息。 18,第2期,251-289(2009).MSC公司:68T27型 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{L.Dixon}等人,J.Logic Lang.Inf.18,No.2,251--289(2009;Zbl 1166.68357) 全文: DOI程序
科恩,阿里尔;迈克尔·卡明斯基;约翰·马考斯基(Johann A.Makowsky)。 默认情况下的相同概念及其在回指、模糊和不确定推理中的应用。 (英语) Zbl 1188.68275号 J.逻辑语言信息。 17,第3期,285-306(2008).MSC公司:68T27型 68层37 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cohen}等人,《逻辑语言汇编》第17期,第3期,第285-306页(2008年;兹bl 1188.68275) 全文: DOI程序
斯特凡·德姆里;汉斯·德·尼维尔 通过一阶逻辑用逆确定正则语法逻辑。 (英语) Zbl 1083.03023号 J.逻辑语言信息。 14,第3期,289-329(2005).MSC公司:03B45号 2012年第68季度 03B25号 03B20型 03B35型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{H.de Nivelle},J.Logic Lang.Inf.14,No.3,289--329(2005;Zbl 1083.03023) 全文: DOI程序 arXiv公司
格里戈里薄荷 一阶线性逻辑的分解演算。 (英语) Zbl 0793.03006号 J.逻辑语言信息。 2,第1号,59-83(1993). 审核人:G.Mints(斯坦福) MSC公司:03B35型 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints},J.Logic Lang.Inf.2,No.1,59--83(1993;Zbl 0793.03006) 全文: DOI程序