×

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

最新的 引文 关联
迪德里克·巴滕斯

对形式不一致逻辑的一些适应性贡献。 （英文） Zbl 1423.03095号

Beziau，Jean-Yves（编辑）等人，《次协调逻辑的新方向》。2014年2月13日至17日在印度加尔各答举行的第五届世界不一致性大会论文集。新德里：斯普林格。Springer程序。数学。《统计》第152、309-333页（2015年）。
MSC公司：03B53号 03B60号
PDF格式BibTeX公司 XML格式引用
\textit{D.Batens}，施普林格程序。数学。《法律总汇》第152、309和333页（2015年；兹bl 1423.03095）
全文： 内政部
迪德里克·巴滕斯

不一致自适应逻辑教程。 （英文） Zbl 1423.03094号

Beziau，Jean-Yves（编辑）等人，《次协调逻辑的新方向》。2014年2月13日至17日在印度加尔各答举行的第五届世界不一致性大会论文集。新德里：斯普林格。Springer程序。数学。Stat.152，3-38（2015）。
MSC公司：03B53号 03-01 03B60号
PDF格式BibTeX公司 XML格式引用
\textit{D.Batens}，施普林格程序。数学。Stat.152，3-38（2015；Zbl 1423.03094）
全文： 内政部
迪德里克·巴滕斯

两个，多个，不同的多个。 （英文） Zbl 1376.03006号

Koslow，Arnold（编辑）等人，《通向普遍逻辑的道路》。庆祝Jean-Yves Béziau 50岁生日。第二卷。纽约州纽约市：Birkhäuser/Springer（ISBN 978-3-319-15367-4/pbk；978-3-316-15368-1/电子书）。《通用逻辑研究》，213-242（2015）。
MSC公司：03A05号 03B50号
PDF格式BibTeX公司 XML格式引用
\textit{D.Batens}，in：通向普遍逻辑的道路。庆祝Jean-Yves Béziau 50岁生日。第二卷。纽约州纽约市：Birkhäuser/Springer。213-242（2015；Zbl 1376.03006）
全文： 内政部
迪德里克·巴滕斯

适应性逻辑作为相对理性的必要工具：包括关于逻辑多元主义的一节。 （英文） Zbl 1436.03161号

埃里克·韦伯（编辑）等人，《逻辑、推理和理性》。根据2010年9月20日至22日在比利时根特举行的大会上的发言选出的论文。多德雷赫特：施普林格。日志。氩气。原因。5, 1-25 (2014).
MSC公司：03B53号 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{D.Batens}，日志。氩气。原因。5、1--25（2014年；Zbl 1436.03161）
全文： 内政部 链接
迪德里克·巴滕斯

自适应逻辑作为不一致性可取消处理的统一框架的新论点。 （英文） Zbl 1272.03007号

Tanaka，Koji（编辑）等人，Parasconsistence。逻辑和应用程序。2008年，澳大利亚墨尔本，第四届准一致性世界大会论文集。柏林：施普林格出版社（ISBN 978-94-007-4437-0/hbk）。《逻辑、认识论和科学的统一》26，101-122（2013）。
MSC公司：03A05号 03B53号
PDF格式BibTeX公司 XML格式引用
\textit{D.Batens}，日志。认识论。统一科学。26、101-122（2013；Zbl 1272.03007）
全文： 内政部
迪德里克·巴滕斯

自适应\（\mathbf{C} _n（n）\)逻辑。 （英文） Zbl 1227.03031号

卡尼埃利，沃尔特（编辑）等，《逻辑的多方面》。2008年5月11日至17日在巴西帕拉蒂举行的“CLE 30–30周年逻辑、认识论和科学史中心”、“XV EBL–15届巴西逻辑会议”和“XIV SLALM–14届拉丁美洲数理逻辑研讨会”同期会议的论文选。伦敦：学院出版物（ISBN 978-1-904987-78-9/pbk）。《逻辑研究》（伦敦）21，27-45（2009）。
MSC公司：03B53号
PDF格式BibTeX公司 XML格式引用
\textit{D.Batens}，Stud.Log。（伦敦）21，27-45（2009；Zbl 1227.03031）
克里斯托夫·德·克莱尔克
[迪德里克·巴滕斯；Meheus，笑话]

通信逻辑。（沟通中的逻辑。） （荷兰语） Zbl 1219.03002号

物流中心Cahiers du Centre de Logique14.鲁万·拉·纽夫：布鲁兰学院（ISBN 2-87209-793-7/pbk）。第221页。(2005).
审核人：海因里希·万辛（波鸿）
MSC公司：03-02 03B42号 03B45号 03B53号 03B60号
PDF格式BibTeX公司 XML格式引用
\textit{K.De Clercq}，通信中的Logica（荷兰语）。卢瓦因·拉纽夫：布鲁兰学院（2005；Zbl 1219.03002）
迪德里克·巴滕斯

关于次协调逻辑、模态逻辑和歧义逻辑之间的一些显著关系。 （英文） Zbl 1034.03025号

Carnielli，Walter A.（编辑）等人，Paraconsistency。不一致的逻辑方式。2000年5月12日至19日，巴西圣保罗，为纪念牛顿·达·科斯塔70岁生日，第二届世界不一致性大会（WCP’2000）会议记录。纽约州纽约市：Marcel Dekker（国际标准图书编号0-8247-0805-9/pbk）。勒克特。Notes纯应用。数学。228, 275-293 (2002).
MSC公司：03B53号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{D.Batens}，莱克特。Notes纯应用。数学。228275-293（2002年；Zbl 1034.03025）
迪德里克·巴滕斯（编辑）；克里斯·莫滕森（编辑）；格雷厄姆牧师（编辑）；Jean-Paul，Van Bendegem（编辑）

次协调逻辑的前沿。1997年7月30日至8月2日在比利时根特举行的第一届准一致性问题世界大会的论文。 （英文） Zbl 0978.00027号

逻辑与计算研究. 8. 巴尔多克：研究出版社。xiv，336页（2000年）。
MSC公司：00B25型 03-06 03B53号
PDF格式BibTeX公司 XML格式引用
\textit{D.Batens}（编辑）等，次协调逻辑的前沿。1997年7月30日至8月2日在比利时根特举行的第一届准一致性问题世界大会的论文。巴尔多克：研究出版社（2000；Zbl 0978.00027）
迪德里克·巴滕斯；Meheus，笑话

不一致自适应逻辑的表方法。 （英文） Zbl 0963.03007号

Dyckhoff，Roy（编辑），用分析表和相关方法进行自动推理。2000年7月3日至7日，苏格兰圣安德鲁斯，TABLEAUX 2000国际会议。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1847, 127-142 (2000).
MSC公司：03B35型 03B53号
PDF格式BibTeX公司 XML格式引用
\textit{D.Batens}和\textit{J.Meheus}，莱克特。注释计算。科学。1847、127--142（2000年；Zbl 0963.03007）
巴滕斯，D。

应用于不一致自适应逻辑的动态语义。 （俄语。英文摘要） Zbl 0926.03030号

Karpenko，A.S.（编辑）等人，《逻辑研究》。第五。1997年3月在俄罗斯莫斯科举行的第一届“斯米尔诺夫阅读”国际会议“符号逻辑”部分的会议记录。莫斯科：瑙卡。74-85 (1998).
审核人：S.P.Odintsov（新西伯利亚）
MSC公司：03B53号
PDF格式BibTeX公司 XML格式引用
\textit{D.Batens}，in：Logicheskie issledovaniya。维普。5.Raboty sdelany na sektsii“Simvolicheskaya logika”“1-oj Mezhdunarodnoj konferentsii”“Smirnovskie chteniya”，莫斯科，罗西娅，马特1997年。莫斯科：瑙卡。74-85（1998年；Zbl 0926.03030）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段