×

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

逻辑异常吗? (英语) Zbl 07740517号

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

逻辑有问题。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019年)上的会谈。 (英语) Zbl 1515.03009号

泛逻辑研究查姆:Birkhä用户(ISBN 978-3-030-94451-3/hbk;978-3-0.30-94454-4/pbk;978-1-030-94452-0/电子书)。xiii,750页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

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

逻辑天堂的结局。 (英语) Zbl 1401.03019号

科尔桑奥CLE81.坎皮纳斯:坎皮纳斯教育大学,洛基卡中心,科学认识论(ISBN 978-85-86497-36-0)。第448页。(2018).
PDF格式BibTeX公司 XML格式引用

对立的广场:思想的基石。 (英语) Zbl 1368.03004号

泛逻辑研究巴塞尔:Birkhäuser/Springer(ISBN 978-3-319-45061-2/pbk;978-3-3169-45062-9/电子书)。六、337页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

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

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

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

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

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

次协调逻辑的新方向。2014年2月13日至17日在印度加尔各答举行的第五届世界不一致性大会论文集。 (英语) Zbl 1338.03003号

Springer数学与统计论文集152.新德里:施普林格出版社(ISBN 978-81-322-2717-5/hbk;978-8132-2719-9/电子书)。xi,第552页。(2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

超常逻辑和二值化理论。 (英语) 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)。
MSC公司:03B53号 03B45 03B20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在反对广场周围和之外。 (英语) Zbl 1242.03009号

泛逻辑研究巴塞尔:Birkhä用户(ISBN 978-3-0348-0378-6/pbk;978-3-0.348-0379-3/ebook)。x、 第379页。(2012).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

没有边界的逻辑。在沃尔特·亚历山大·卡尼埃利60岁生日之际,为他庆祝节日。 (英语) Zbl 1254.03005号

致敬17.伦敦:学院出版物(ISBN 978-1-84890-055-4/pbk)。第二十四、459页。(2011).
PDF格式BibTeX公司 XML格式引用

De Morgan逻辑的二价语义(四值性的无用性)。 (英语) 兹伯利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格式引用

副一致性手册。 (英语) Zbl 1206.03030号

逻辑研究(伦敦)9.逻辑和认知系统。伦敦:学院出版物(ISBN 978-1-904987-73-4/pbk)。xi,第512页。(2007).
PDF格式BibTeX公司 XML格式引用

从结果算子到泛逻辑:一般抽象逻辑综述。第二次修订版。 (英语) Zbl 1143.03327号

Beziau,Jean-Yves(编辑),Logica universalis。走向逻辑的一般理论。巴塞尔:Birkhä用户(ISBN 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格式引用

关于次协调逻辑的有用性。 (英语) Zbl 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日,瑞士诺伊查泰尔国际通用逻辑研讨会论文集。Neuchâtel:Neuchâtel大学,Sémiologiques研究中心。Travaux de Logique公司。科学研究中心17231-254(2004年)。
MSC公司:03B22号
PDF格式BibTeX公司 XML格式引用

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

Béziau,J.-Y.(编辑)等人,《普遍逻辑的方面》。2003年10月6日至8日,瑞士诺伊查泰尔国际通用逻辑研讨会论文集。诺伊查泰尔:诺伊查泰大学,研究中心。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格式引用
全文: 内政部

不一致否定是否定吗? (英语) 兹伯利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格式引用

科学知识。由Jean-Yves Béziau作序。附录一由N.Papavero编写,附录二由F.A.Doria编写,附录三由J.C.M.Magalháes编写。第2版。(《科学检验》) (葡萄牙语) Zbl 0955.03009号

科莱索·费洛索菲亚·达·西尼亚和认识论。圣保罗:社论。300页(1999年)。
PDF格式BibTeX公司 XML格式引用

逻辑语法的数学结构。 (英语) Zbl 0943.03003号

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

次协调集理论的要素。(副一致性条款Elementos de teoria paraconsistente de conventos) (葡萄牙语) Zbl 0959.03016号

科尔桑奥CLE. 23. 坎皮纳斯:坎皮纳斯教育大学,洛基卡中心,《科学认识论》,第十四卷,188页(1998年)。
PDF格式BibTeX公司 XML格式引用

普适逻辑研究。过剩、否定、顺序。(Recherches sur la logique universelle.过度、惩罚、惩罚。) (法语) Zbl 0936.03010号

巴黎:巴黎大学7-Denis Diderot(Thèse),179 p.(1995)。
PDF格式BibTeX公司 XML格式引用

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

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

筛选结果依据…

文档类型

全部的 前5名

出版年份