×

找到27个文档(结果1-27)

逻辑异常吗? (英文) 兹伯利07740517

Béziau,Jean-Yves(编辑)等人,《逻辑问题》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019年)上的会谈。查姆:Birkhäuser。通用螺栓。日志。,261-279 (2022).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

《特拉克图斯》中经典命题逻辑的一个意想不到的特征。 (英文) Zbl 1465.03004号

Mras,Gabriele M.(编辑)等,《逻辑和数学哲学》。第41届路德维希·维特根斯坦国际研讨会论文集。柏林:De Gruyter。出版物。奥地利路德维希·维特根斯坦Soc.New Ser。27, 385-395 (2019).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

强三值次协调逻辑。 (英文) Zbl 1423.03097号

Beziau,Jean-Yves(编辑)等人,《次协调逻辑的新方向》。2014年2月13日至17日在印度加尔各答举行的第五届世界不一致性大会论文集。新德里:斯普林格。Springer程序。数学。Stat.152,131-145(2015)。
MSC公司:03B53号 03B50号
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

圆形方块不是矛盾(关于否定矛盾和对立的教程)。 (英文) Zbl 1423.03096号

Beziau,Jean-Yves(编辑)等人,《次协调逻辑的新方向》。2014年2月13日至17日在印度加尔各答举行的第五届世界不一致性大会论文集。新德里:施普林格。Springer程序。数学。Stat.152,39-55(2015)。
MSC公司:03B53号 03A05号
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

逻辑自传50。 (英文) Zbl 1369.01015号

Koslow,Arnold(编辑)等人,《通向普遍逻辑的道路》。庆祝Jean-Yves Béziau 50岁生日。第二卷。纽约州纽约市:Birkhäuser/Springer(ISBN 978-3-319-15367-4/pbk;978-3-316-15368-1/电子书)。《通用逻辑研究》,19-104(2015)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

超常逻辑和二值化理论。 (英文) Zbl 1295.03016号

Béziau,Jean-Yves(编辑),《普遍逻辑:选集》。从Paul Hertz到Dov Gabbay。巴塞尔:Birkhä用户(ISBN 978-3-0346-0144-3/pbk;978-3-0.346-0145-0/电子书)。《通用逻辑研究》,361-372(2012)。
MSC公司:03B53号 03B22号
PDF格式BibTeX公司 XML格式引用

反对党广场的新崛起。 (英文) Zbl 1272.03116号

Béziau,Jean-Yves(编辑)等人,《反对广场周围和之外》。巴塞尔:Birkhä用户(ISBN 978-3-0348-0378-6/pbk;978-3-0.348-0379-3/ebook)。《通用逻辑研究》,3-19(2012)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

De Morgan逻辑的二价语义(四值性的无用性)。 (英文) Zbl 1227.03032号

卡尼埃利,沃尔特(编辑)等,《逻辑的多方面》。2008年5月11日至17日在巴西帕拉蒂举行的“CLE 30–30周年逻辑、认识论和科学史中心”、“XV EBL–15届巴西逻辑会议”和“XIV SLALM–14届拉丁美洲数理逻辑研讨会”同期会议的论文选。伦敦:学院出版物(ISBN 978-1-904987-78-9/pbk)。《逻辑研究》(伦敦)21,391-402(2009)。
MSC公司:03B53号
PDF格式BibTeX公司 XML格式引用

从结果算子到泛逻辑:一般抽象逻辑综述。第二次修订版。 (英文) 兹比尔1143.03327

Beziau,Jean-Yves(编辑),Logica universalis。走向逻辑的一般理论。巴塞尔:Birkhäuser(国际标准图书编号978-3-7643-8353-4/pbk)。3-17 (2007).
PDF格式BibTeX公司 XML格式引用

多值语义和克里普克语义。 (英文) Zbl 1130.03015号

van Benthem,Johan(编辑)等人,《替代逻辑的时代》。今天评估逻辑和数学哲学。基于2002年9月30日至10月4日在法国南希举行的逻辑和数学哲学见解会议。多德雷赫特:施普林格(ISBN 978-1-4020-5011-4/hbk;978-1-4020-5012-7/电子书)。《逻辑、认识论和科学的统一》3,89-101(2006)。
MSC公司:03B45号 03A05号
PDF格式BibTeX公司 XML格式引用

关于次协调逻辑的有用性。 (英文) 兹比尔1098.03035

Vanderveken,Daniel(编辑),《逻辑、思想与行动》。多德雷赫特:施普林格(ISBN 1-4020-2616-1/hbk;1-4020-3167-X/电子书)。《逻辑学、认识论与科学的统一》2,465-478(2005)。
MSC公司:03B53号 03A05号
PDF格式BibTeX公司 XML格式引用

从结果算子到泛逻辑:一般抽象逻辑综述。 (英文) Zbl 1082.03008号

Beziau,Jean-Yves(编辑),Logica universalis。走向逻辑的一般理论。巴塞尔:Birkhä用户(ISBN 3-7643-7259-1/pbk)。3-17 (2005).
PDF格式BibTeX公司 XML格式引用

公理计算中蕴涵和推广的介绍。 (英文) 邮编1087.03008

Béziau,J.-Y.(编辑)等人,《普遍逻辑的方面》。2003年10月6日至8日,瑞士诺伊查泰尔国际通用逻辑研讨会论文集。诺伊查泰尔:诺伊查泰大学,研究中心。Travaux de Logique公司。Recherches Sémiologiques中心17、231-254(2004年)。
MSC公司:03B22号
PDF格式BibTeX公司 XML格式引用

非真实功能多价值。 (英文) Zbl 1087.03015号

Béziau,J.-Y.(编辑)等人,《普遍逻辑的方面》。2003年10月6日至8日,瑞士诺伊查泰尔国际通用逻辑研讨会论文集。Neuchâtel:Neuchâtel大学,Sémiologiques研究中心。Travaux de Logique公司。Recherches Sémiologiques中心17,199-218(2004)。
PDF格式BibTeX公司 XML格式引用

对立广场及其无名角落的新光。 (英文) Zbl 1053.03005号

Karpenko,A.S.(编辑),《逻辑研究》。10.包括2003年5月在俄罗斯莫斯科举行的第四届国际会议“斯米尔诺夫读物”的论文。莫斯科:瑙卡(ISBN 5-02-006257-X/hbk)。218-232 (2003).
MSC公司:03A05号 03B45号
PDF格式BibTeX公司 XML格式引用

非真实功能多价值。 (英文) Zbl 1261.03094号

de Queiroz,Ruy(编辑)等人,WoLLIC’2002。2002年7月30日至8月2日,巴西里约热内卢,巴西里约热内卢,里约热内卢天主教大学,第九届逻辑、语言、信息和计算研讨会论文集。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记67,116-130(2002)。
MSC公司:03B50号 03A05号
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

不一致否定是否定吗? (英文) Zbl 1034.03026号

Carnielli,Walter A.(编辑)等人,Paraconsistency。不一致的逻辑方式。2000年5月12日至19日,巴西圣保罗,为纪念牛顿·达·科斯塔70岁生日,第二届世界不一致性大会(WCP’2000)会议记录。纽约州纽约市:Marcel Dekker(ISBN 0-8247-0805-9/pbk)。莱克特。Notes纯应用。数学。228, 465-486 (2002).
MSC公司:03B53号 03A05号
PDF格式BibTeX公司 XML格式引用

什么是命题经典逻辑?(普适逻辑研究)。 (英文) Zbl 1031.03016号

Karpenko,A.S.(编辑),《逻辑调查》。8.2001年5月在俄罗斯莫斯科举行的第三届国际会议“斯米尔诺夫读物”的论文。莫斯科:瑙卡。266-277 (2001).
PDF格式BibTeX公司 XML格式引用

规则、派生规则、允许规则和各种类型的扣除系统。 (英文) Zbl 1041.03505号

爱德华·赫尔曼(Edward Hermann)等,《PRATICA》。证明、类型和类别。选自PRATICA'95、PRATICA'96和PRATICA'98的论文。里约热内卢:里约热内卢蓬蒂菲西亚大学(ISBN 85-900900-1-9/pbk)。159-184 (1999).
MSC公司:03B22号 03B20型
PDF格式BibTeX公司 XML格式引用

逻辑语法的数学结构。 (英文) 兹比尔0943.03003

Walter A.Carnielli等人,《当代逻辑和计算机科学进展》。第十一届巴西数理逻辑会议记录,巴西巴伊亚萨尔瓦多。1996年5月6日至10日。普罗维登斯,RI:美国数学学会。康斯坦普。数学。235, 3-15 (1999).
MSC公司:03A05号 03B05号 03B30型 03B15号机组
PDF格式BibTeX公司 XML格式引用

有问题的估值理论。(存在估价问题) (法语) Zbl 0820.03010号

1992年8月3日至8日,阿根廷巴伊亚·布兰卡,第九届拉丁美洲数理逻辑研讨会论文集。第2部分。《巴希亚·布兰卡:南方国立大学》,《Notas Logica Mat.39,95-104》(1994)。
MSC公司:03B53号
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

全部的 前5名

出版年份

主字段

传记参考