×

找到59个文档（结果1-59）

最新 引文 相关性
迪克·德·乔恩;Shirmohammadzadeh Maleki，法特梅

次直觉逻辑的二元模态伴随。 （英语） Zbl 1498.03024号

Mojtahedi、Mojtaba（编辑）等人，《数学、逻辑及其哲学》。纪念穆罕默德·阿尔德斯希尔的文章。查姆：斯普林格。日志。认识论。统一科学。49, 35-52 (2021).
MSC公司：03B20型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{D.de Jongh}和\textit{F.Shirmohammadzadeh Maleki}，日志。认识论。统一科学。49、35-52（2021；Zbl 1498.03024）
全文： 内政部 链接
马修·维达尔

“if-then”条件句的合成语义。 （英语） Zbl 1485.03076号

Amblard，Maxime（编辑）等人，《计算语言学的逻辑方面》。庆祝LACL成立20周年（1996-2016）。2016年12月5日至7日在法国南希举行的LACL 2016第九届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10054, 291-307 (2016).
MSC公司：03B65号
PDF格式BibTeX公司 XML格式引用
\textit{M.Vidal}，莱克特。注释计算。科学。10054、291--307（2016；Zbl 1485.03076）
全文： 内政部
尼古拉·奥利维蒂;吉安·卢卡（Gian Luca），披萨

刘易斯反事实逻辑的标准内部演算。 （英语） Zbl 1471.03060号

De Nivelle，Hans（编辑），用分析表和相关方法进行自动推理。第24届国际会议，TABLEAUX 2015，波兰Wrocław，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9323, 270-286 (2015).
MSC公司：03B60号 03A05号 03财年03
PDF格式BibTeX公司 XML格式引用
\textit{N.Olivetti}和\textit{G.L.Pozzato}，莱克特。注释计算。科学。9323270-286（2015年；兹比尔1471.03060）
全文： 内政部 链接
萨拉·内格里;尼古拉·奥利维蒂

一种基于邻域语义的优先条件逻辑的后继演算。 （英语） Zbl 1471.03059号

De Nivelle，Hans（编辑），用分析表和相关方法进行自动推理。第24届国际会议，TABLEAUX 2015，波兰Wrocław，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9323, 115-134 (2015).
MSC公司：03B60号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{S.Negri}和\textit{N.Olivetti}，莱克特。注释计算。科学。9323115-134（2015；Zbl 1471.03059）
全文： 内政部
弗朗西斯科·保利

一种次协调的子结构条件逻辑。 （英语） Zbl 1280.03031号

Tanaka，Koji（编辑）等人，Parasconsistence。逻辑和应用。2008年，澳大利亚墨尔本，第四届准一致性世界大会论文集。柏林：施普林格出版社（ISBN 978-94-007-4437-0/hbk）。《逻辑、认识论和科学的统一》26，173-198（2013）。
审核人：海因里希·万辛（波鸿）
MSC公司：03B53号 03B47号
PDF格式BibTeX公司 XML格式引用
\textit{F.Paoli}，日志。认识论。统一科学。26、173--198（2013；Zbl 1280.03031）
全文： 内政部
莱文·乌里迪亚;德克·沃尔特

带有假设的认知逻辑。 （英语） Zbl 1298.03059号

van Ditmarsch，Hans（编辑）等人，《逻辑、理性与互动》。2011年10月10日至13日，第三次国际研讨会，LORI 2011，中国广州。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24129-1/pbk）。计算机科学课堂讲稿6953。人工智能课堂讲稿，286-299（2011）。
MSC公司：03B42号
PDF格式BibTeX公司 XML格式引用
\textit{L.Uridia}和\textit{D.Walther}，莱克特。注释计算。科学。6953286--299（2011；Zbl 1298.03059）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

传记参考

全部的 前3名

软件