阿雷塞斯,C。;坎佩尔科利,M。;D.佩纳齐。;Sánchez Terraf,P。 有限线框架的同余格。 (英语) Zbl 1444.03179号 J.日志。计算。 27,第8号,2653-2688(2017).MSC公司:03G25号 03B45号 08A30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}等人,J.Log。计算。27,第8号,2653--2688(2017;Zbl 1444.03179) 全文: DOI程序 arXiv公司 链接
马丁·菲舍尔;卡洛·尼古莱;莱昂·霍斯顿 对完全不可引用真理的反复思考。 (英语) Zbl 1444.03003号 J.日志。计算。 27,第8号,2631-2651(2017).MSC公司:03A05号 03B53号 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fischer}等人,J.Log。计算。27,第8号,2631--2651(2017;Zbl 1444.03003) 全文: DOI程序 arXiv公司
马西耶·本德考斯基;卡塔兹纳·格里吉尔;Lescanne,皮埃尔;马雷克·扎昂克 (lambda)术语组合:一种自然的方法。 (英语) Zbl 1444.03017号 J.日志。计算。 27,第8号,2611-2630(2017).MSC公司:03B40型 2016年1月5日 PDF格式BibTeX公司 XML格式引用 \textit{M.Bendkowski}等人,J.Log。计算。27,第8号,2611--2630(2017;Zbl 1444.03017) 全文: DOI程序 arXiv公司
爱德蒙·阿瓦德;马丁·卡米纳达。;加布里埃拉·皮戈齐;Mikołaj波德拉泽夫斯基;伊亚德·拉文 群体论证评价中的帕累托最优和策略证明。 (英语) Zbl 1402.91122号 J.日志。计算。 27,第8期,2581-2609(2017).MSC公司:91B14号机组 91B08型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{E.Awad}等人,J.Log。计算。27,第8号,2581--2609(2017;Zbl 1402.91122) 全文: DOI程序 arXiv公司 链接
阿娜·路易斯·杜博克;阿琳·佩斯;格尔森·扎维鲁查 关于FORTE_MBC理论修正算子的形式化刻画。 (英语) Zbl 1402.68166号 J.日志。计算。 第8号第27页,2551-2580页(2017年).MSC公司:68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.L.Duboc}等人,J.Log。计算。27,第8号,2551--2580(2017;Zbl 1402.68166) 全文: DOI程序
斯特凡诺·阿古佐利;托马索·弗拉米尼奥;萨拉·乌戈里尼 通过布尔代数和预线性半环实现MTL代数子范畴之间的等价性。 (英语) 兹比尔1404.06011 J.日志。计算。 27,第8期,2525-2549(2017).MSC公司:05年6月 PDF格式BibTeX公司 XML格式引用 \textit{S.Aguzzoli}等人,J.Log。计算。27,第8号,2525--2549(2017;Zbl 1404.06011) 全文: DOI程序
帕特里克·阿洛 硬逻辑信息和软逻辑信息。 (英语) Zbl 1444.03023号 J.日志。计算。 27,第8期,2505-2524(2017).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{P.Allo},J.Log。计算。27,第8号,2505--2524(2017;Zbl 1444.03023) 全文: DOI程序 链接
利维奥·罗巴尔多;孙欣 具体化输入/输出逻辑:将输入/输出和具体化结合起来,以表示来自现有立法的规范。 (英语) Zbl 1444.03074号 J.日志。计算。 27,第8期,2471-2503(2017).MSC公司:03B45号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{L.Robaldo}和\textit{X.Sun},J.Log。计算。27,第8号,2471--2503(2017;Zbl 1444.03074) 全文: DOI程序 链接
胡安·巴勃罗·阿奎莱拉;大卫·费尔南德斯·杜克 验证逻辑。 (英语) Zbl 1444.03169号 J.日志。计算。 27,第8期,2451-2469(2017).MSC公司:03层45 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Aguilera}和\textit{D.Fernández-Duque},J.Log。计算。27,编号8,2451-2469(2017;兹bl 1444.03169) 全文: DOI程序
林戈·鲍曼;汉内斯·斯特拉斯 关于双极布尔函数的个数。 (英语) Zbl 1404.06012号 J.日志。计算。 27,第8期,2431-2449(2017).MSC公司:06E30年 2015年1月5日 PDF格式BibTeX公司 XML格式引用 \textit{R.Baumann}和\textit{H.Strass},J.Log。计算。27,第8号,2431--2449(2017;Zbl 1404.06012) 全文: DOI程序 链接
肯塔罗山本 可能性语义的模态对应理论的结果。 (英语) Zbl 1444.03078号 J.日志。计算。 27,第8号,2411-2430(2017).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{K.Yamamoto},J.Log。计算。27,第8号,2411--2430(2017;Zbl 1444.03078) 全文: DOI程序 链接
李彦军;于全;王燕京 免费提供更多:过渡系统一致规划的动态认知框架。 (英语) Zbl 1402.68168号 J.日志。计算。 27,第8期,2383-2410(2017).MSC公司:68T27型 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,J.Log。计算。27,第8号,2383--2410(2017;Zbl 1402.68168) 全文: DOI程序
贝拉斯克斯·奎萨达,费尔南多·R。 基于可靠性的偏好动力学:词典学升级。 (英语) 兹比尔1402.68179 J.日志。计算。 27,第8号,2341-2381(2017).MSC公司:68T42型 03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.R.Velázquez-Quesada},J.Log。计算。27,第8号,2341--2381(2017;Zbl 1402.68179) 全文: DOI程序 链接
科斯塔斯·库特拉斯。;克里斯托斯·莫伊泽斯;尤戈斯·齐科斯 知识、信念和估计的模态逻辑。 (英语) Zbl 1444.03065号 J.日志。计算。 27,第8号,2303-2339(2017).MSC公司:03B45号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{C.D.Koutras}等人,J.Log。计算。27,第8号,2303--2339(2017;Zbl 1444.03065) 全文: DOI程序