珍妮·伊夫·贝齐奥 逻辑异常吗? (英文) 兹伯利07740517 Béziau,Jean-Yves(编辑)等人,《逻辑问题》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019年)上的会谈。查姆:Birkhäuser。通用螺栓。日志。,261-279 (2022).MSC公司:03A05号 03Bxx号 01A25号 01A55号 01A60型 03年3月 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Béziau},in:有问题的逻辑。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019)上的会谈。查姆:Birkhäuser。261--279(2022年;Zbl 07740517) 全文: DOI程序
Jean-Yves贝齐奥 [约翰·伍兹] 不是猫的猫。走向亚一致性的自然哲学。约翰·伍兹作出了回应。 (英文) Zbl 1528.03014号 Gabbay,Dov(编辑)等人,《自然论据》。向约翰·伍兹致敬。伦敦:学院出版物。致敬40,49-75(2019)。MSC公司:03A05号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Beziau},致敬40,49-75(2019;Zbl 1528.03014)
珍妮·伊夫·贝齐奥 《特拉克图斯》中经典命题逻辑的一个意想不到的特征。 (英文) Zbl 1465.03004号 Mras,Gabriele M.(编辑)等,《逻辑和数学哲学》。第41届路德维希·维特根斯坦国际研讨会论文集。柏林:De Gruyter。出版物。奥地利路德维希·维特根斯坦Soc.New Ser。27, 385-395 (2019).MSC公司:03年3月 03B05号 03A05号 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Béziau},出版物。奥地利路德维希·维特根斯坦Soc.New Ser。27385-395(2019年;兹比尔1465.03004) 全文: DOI程序
珍妮·伊夫·贝齐奥;亚瑟·巴赫斯鲍姆 让我们反逻辑:反经典逻辑作为一种逻辑。 (英文) Zbl 1435.03050号 Moktefi,Amirouche(编辑)等,《Soyons logiques》。伦敦:学院出版物。卡赫。日志。埃皮斯特埃莫尔。22, 1-9 (2016).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Béziau}和\textit{A.Buchsbaum},加利福尼亚州。日志。埃皮斯特埃莫尔。22、1-9(2016;Zbl 1435.03050)
Jean-Yves贝齐奥 两个真正的三值次协调逻辑。 (英文) Zbl 1429.03104号 Akama,Seiki(编辑),《走向准一致性工程》。Cham:Springer。智力。系统。参考图书馆。110, 35-47 (2016).MSC公司:03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Beziau},情报。系统。参考图书馆。110、35-47(2016;Zbl 1429.03104) 全文: DOI程序
Jean-Yves贝齐奥;安娜·弗朗西切托 强三值次协调逻辑。 (英文) Zbl 1423.03097号 Beziau,Jean-Yves(编辑)等人,《次协调逻辑的新方向》。2014年2月13日至17日在印度加尔各答举行的第五届世界不一致性大会论文集。新德里:斯普林格。Springer程序。数学。Stat.152,131-145(2015)。MSC公司:03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Beziau}和\textit{A.Franceschetto},Springer Proc。数学。《法律总汇》第152、131和145页(2015年;兹bl 1423.03097) 全文: DOI程序
Jean-Yves贝齐奥 圆形方块不是矛盾(关于否定矛盾和对立的教程)。 (英文) Zbl 1423.03096号 Beziau,Jean-Yves(编辑)等人,《次协调逻辑的新方向》。2014年2月13日至17日在印度加尔各答举行的第五届世界不一致性大会论文集。新德里:施普林格。Springer程序。数学。Stat.152,39-55(2015)。MSC公司:03B53号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Beziau},施普林格程序。数学。Stat.152,39-55(2015;Zbl 1423.03096) 全文: 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)。MSC公司:01A70号 03B22号 03B53号 03A05号 03B45号 03年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Béziau},in:通向普遍逻辑的道路。庆祝Jean-Yves Béziau 50岁生日。第二卷。纽约州纽约市:Birkhäuser/Springer。19-104(2015;Zbl 1369.01015) 全文: 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格式引用 \textit{J.-Y.Béziau},in:普遍逻辑:选集。从Paul Hertz到Dov Gabbay。巴塞尔:Birkhä用户。361--372(2012;Zbl 1295.03016)
珍妮·伊夫·贝齐奥 反对党广场的新崛起。 (英文) 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)。MSC公司:03B53号 03B45号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Béziau},in:在对立广场周围和以外。巴塞尔:Birkhä用户。3-19(2012;Zbl 1272.03116) 全文: 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格式引用 \textit{J.-Y.贝齐奥},研究日志。(伦敦)21,391--402(2009;Zbl 1227.03032)
珍妮·伊夫·贝齐奥 亚一致性丛林探险。 (英文) Zbl 1230.03052号 Béziau,Jean-Yves(编辑)等,副一致性手册。伦敦:学院出版物(ISBN 978-1-904987-73-4/pbk)。逻辑研究(伦敦)9。《逻辑与认知系统》,63-80(2007)。MSC公司:03B53号 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.贝齐奥},研究日志。(伦敦)9,63--80(2007;Zbl 1230.03052)
Jean-Yves贝齐奥 从结果算子到泛逻辑:一般抽象逻辑综述。第二次修订版。 (英文) 兹比尔1143.03327 Beziau,Jean-Yves(编辑),Logica universalis。走向逻辑的一般理论。巴塞尔:Birkhäuser(国际标准图书编号978-3-7643-8353-4/pbk)。3-17 (2007).MSC公司:03B22号 03-02 03年3月 03B50号 03B47号 03B53号 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Beziau},in:通用逻辑。走向逻辑的一般理论。巴塞尔:Birkhä用户。3-17(2007年;Zbl 1143.03327)
珍妮·伊夫·贝齐奥 多值语义和克里普克语义。 (英文) 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)。 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03B45号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.贝齐奥},日志。认识论。统一科学。3、89——101(2006;Zbl 1130.03015)
牛顿·C·A·达·科斯塔。;珍妮·伊夫·贝齐奥;奥塔维奥·布埃诺 关于次协调逻辑的有用性。 (英文) 兹比尔1098.03035 Vanderveken,Daniel(编辑),《逻辑、思想与行动》。多德雷赫特:施普林格(ISBN 1-4020-2616-1/hbk;1-4020-3167-X/电子书)。《逻辑学、认识论与科学的统一》2,465-478(2005)。MSC公司:03B53号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{N.C.A.da Costa}等人,日志。Epistemol。统一科学。2465-478(2005;Zbl 1098.03035)
Jean-Yves贝齐奥 从结果算子到泛逻辑:一般抽象逻辑综述。 (英文) Zbl 1082.03008号 Beziau,Jean-Yves(编辑),Logica universalis。走向逻辑的一般理论。巴塞尔:Birkhä用户(ISBN 3-7643-7259-1/pbk)。3-17 (2005).MSC公司:03B22号 03-02 03年3月 03B50号 03B47号 03B53号 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Beziau},in:通用逻辑。走向逻辑的一般理论。巴塞尔:Birkhä用户。3--17(2005;Zbl 1082.03008)
亚瑟·巴赫斯鲍姆;Jean-Yves贝齐奥 公理计算中蕴涵和推广的介绍。 (英文) 邮编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格式引用 \textit{A.Buchsbaum}和\textit{J.-Y.Beziau},Trav。日志。,美分。里奇。塞米奥尔。17、231--254(2004年;Zbl 1087.03008)
Jean-Yves贝齐奥 非真实功能多价值。 (英文) 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)。MSC公司:03B50号 03B22号 03A05号 03B53号 03B20型 03B45号 PDF格式BibTeX公司 XML格式引用 \文本{J.-Y.Beziau},Trav。日志。,美分。里奇。塞米奥。17、199--218(2004;Zbl 1087.03015)
珍妮·伊夫·贝齐奥 对立广场及其无名角落的新光。 (英文) Zbl 1053.03005号 Karpenko,A.S.(编辑),《逻辑研究》。10.包括2003年5月在俄罗斯莫斯科举行的第四届国际会议“斯米尔诺夫读物”的论文。莫斯科:瑙卡(ISBN 5-02-006257-X/hbk)。218-232 (2003). 审核人:Jan Waszkiewicz(Wrocław) MSC公司:03A05号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Béziau},in:Logicheskie issledovaniya。10.莫斯科:瑙卡。218--232(2003;Zbl 1053.03005)
珍妮·伊夫·贝齐奥 非真实功能多价值。 (英文) Zbl 1261.03094号 de Queiroz,Ruy(编辑)等人,WoLLIC’2002。2002年7月30日至8月2日,巴西里约热内卢,巴西里约热内卢,里约热内卢天主教大学,第九届逻辑、语言、信息和计算研讨会论文集。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记67,116-130(2002)。MSC公司:03B50号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Béziau},电子。注释Theor。计算。科学。67116-130(2002年;Zbl 1261.03094) 全文: DOI程序
贝齐奥,J.-Y。 S5是一个准一致逻辑,一阶经典逻辑也是。 (英文) Zbl 1038.03028号 Karpenko,A.S.(编辑),《逻辑研究》。9.莫斯科:瑙卡(ISBN 5-02-013231-4/hbk)。301-309 (2002).MSC公司:03B53号 03B45号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Béziau},in:Logicheskie issledovaniya。9.莫斯科:瑙卡。301-309(2002;Zbl 1038.03028)
珍妮·伊夫·贝齐奥 不一致否定是否定吗? (英文) 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格式引用 \textit{J.-Y.贝齐奥},莱克特。Notes纯应用。数学。228465-486(2002年;Zbl 1034.03026)
贝齐奥,J.-Y。 什么是命题经典逻辑?(普适逻辑研究)。 (英文) Zbl 1031.03016号 Karpenko,A.S.(编辑),《逻辑调查》。8.2001年5月在俄罗斯莫斯科举行的第三届国际会议“斯米尔诺夫读物”的论文。莫斯科:瑙卡。266-277 (2001).MSC公司:03B05号 03A05号 00A30型 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Béziau},in:Logicheskie issledovaniya。8.莫斯科:瑙卡。266--277(2001;Zbl 1031.03016)
珍妮·伊夫·贝齐奥 什么是次协调逻辑? (英文) Zbl 0995.03021号 Diderik Batens等人,《次协调逻辑的前沿》。1997年7月30日至8月2日在比利时根特举行的第一届准一致性问题世界大会的论文。巴尔多克:研究出版社。螺柱日志。计算。8, 95-111 (2000).MSC公司:03B53号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.贝齐奥},研究日志。计算。8、95-111(2000;Zbl 0995.03021)
让·伊夫·贝齐奥 规则、派生规则、允许规则和各种类型的扣除系统。 (英文) 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格式引用 \textit{J.Y.Béziau},in:普拉蒂卡。证明、类型和类别。选自PRATICA'95、PRATICA'96和PRATICA'98的论文。里约热内卢:里约热内罗蓬蒂菲西亚大学。159-184(1999年;兹bl 1041.03505)
珍妮·伊夫·贝齐奥 逻辑语法的数学结构。 (英文) 兹比尔0943.03003 Walter A.Carnielli等人,《当代逻辑和计算机科学进展》。第十一届巴西数理逻辑会议记录,巴西巴伊亚萨尔瓦多。1996年5月6日至10日。普罗维登斯,RI:美国数学学会。康斯坦普。数学。235, 3-15 (1999). 审核人:E.Mendelson(法拉盛) MSC公司:03A05号 03B05号 03B30型 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.贝齐奥},康特姆。数学。235,3-15(1999;Zbl 0943.03003)
牛顿·C·A·达·科斯塔。;贝齐奥,J.Y。 有问题的估值理论。(存在估价问题) (法语) Zbl 0820.03010号 1992年8月3日至8日,阿根廷巴伊亚·布兰卡,第九届拉丁美洲数理逻辑研讨会论文集。第2部分。《巴希亚·布兰卡:南方国立大学》,《Notas Logica Mat.39,95-104》(1994)。MSC公司:03B53号 PDF格式BibTeX公司 XML格式引用 \textit{N.C.A.da Costa}和\textit{J.Y.Béziau},摘自:第九届拉丁美洲数理逻辑研讨会论文集,巴伊亚·布兰卡,阿根廷,1992年8月3日至8日。第2部分。巴伊亚·布兰卡:南民族大学。95-104(1994;Zbl 0820.03010)