逻辑历史与哲学 简短标题: 历史。菲洛斯。日志。 发布者: Taylor&Francis,伦敦 国际标准编号: 0144-5340; 1464-5149/年 在线: http://www.tandfonline.com/loi/thpl20 评论: 日记账 编入索引的文档: 521出版物(自1980年起) 索引的引用: 446出版物参考文献14958。 全部的 前5名最新问题 42,第3期(2021年) 42,编号2(2021) 42,编号1(2021) 41,第4期(2020年) 41,第3期(2020年) 41,第2期(2020年) 41,第1期(2020年) 40,第4号(2019) 40,第3号(2019) 402019年第2期 402019年第1期 39,第4号(2018) 39,第3号(2018) 39,第2号(2018) 392018年第1期 382017年第4号 382017年第3号 382017年第2期 382017年第1期 372016年第4号 372016年第3号 372016年第2期 372016年第1期 362015年第4号 362015年第3期 362015年第2期 362015年第1期 352014年第4号 352014年第3期 352014年第2期 352014年第1期 342013年第4号 342013年第3期 342013年第2期 342013年第1期 332012年第4号 332012年第3号 332012年第2期 332012年第1期 322011年第4号 32,第3号(2011年) 322011年第2期 322011年第1期 31,第4号(2010年) 31,第3号(2010年) 312010年第2期 312010年第1期 302009年第4期 302009年第3期 302009年第2期 302009年第1期 292008年第4号 292008年第3号 292008年第2期 292008年第1期 282007年第4号 282007年第3号 282007年第2期 282007年第1期 272006年第4号 272006年第3期 272006年第2期 272006年第1期 262005年第4号 262005年第3期 262005年第2期 262005年第1期 252004年第4期 252004年第3期 252004年第2期 252004年第1期 24,第4号(2003年) 242003年第3期 242003年第2期 24,第1期(2003) 232002年第4期 23,第3期(2002年) 232002年第2期 23,第1期(2002年) 22,第4号(2001年) 22,第3号(2001) 22,第2号(2001年) 222001年第1期 212000年第4期 212000年第3期 212000年第2期 21,第1号(2000年) 20,第3-4号(1999) 20,第2期(1999年) 20,第1期(1999年) 19,第4号(1998年) 19,第3号(1998年) 19,第2期(1998年) 19,第1期(1998年) 18,第4号(1997) 18,第3号(1997) 18,第2号(1997) 18,第1号(1997) 171996年第4号 17,第3号(1996) …还有24卷 全部的 前5名作者 13 格拉坦-吉尼斯,象牙 10 西奥多·海尔佩林 10 格雷戈里·兰迪尼 7 约翰·科科兰 7 约翰·尼尔·马丁 5 欧文·亨利·安妮莉斯 5 斯特凡妮娅·森特隆 5 柯蒂斯·弗兰克斯 5 阅读,斯蒂芬 4 弗朗西斯科·贝鲁奇 4 约翰·杜森(John W.jun Dawson)。 4 卡特里娜Dutilh Novaes 4 米罗斯拉夫·汉克 4 戴尔·雅克特 4 伯纳德·林斯基 4 沃尔克·佩克豪斯 4 罗德里格斯Consuegra,Francisco A。 4 何塞·米盖尔·萨圭略 4 迈克尔·斯坎兰。 4 马蒂亚斯·希恩 4 彼得·西蒙斯(Peter M.Simons)。 三 Francine F.阿贝莱斯。 三 皮埃尔·卡苏-诺古耶斯 三 萨卢阿查蒂 三 达科斯塔,牛顿·卡内罗·阿方索 三 埃琳娜·菲卡拉 三 米里亚姆·弗朗西拉 三 菲利普,太棒了 三 保罗·曼科苏 三 玛丽亚·曼扎诺 三 阿米鲁什·莫克特菲 三 阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 三 格雷厄姆牧师 三 埃里希·雷克。 三 查尔斯·沙伊沃德。 三 斯图尔特·夏皮罗 三 阿尔弗雷德·塔斯基 三 克里斯蒂安·泰尔 三 保罗·托姆 三 亚当·特雷布斯 三 拉法·乌尔巴尼亚克 三 乔治·E·韦弗。 三 沃伦斯基,简 2 恩里克·阿隆索 2 E.詹妮弗·阿什沃思 2 史蒂夫·阿沃迪 2 Bo,Chen(陈波) 2 乔治·博格 2 特里·博斯韦尔 2 奥塔维奥·布埃诺 2 科奇亚雷拉,尼诺·B。 2 洛伦兹·德米 2 海因兹·迪特·埃宾豪斯 2 Günther Eder 2 乔治·恩格尔布雷森 2 阿萨多拉·法拉希 2 杰罗姆·弗雷泽 2 加贝,多夫·M。 2 戈特弗里德·加布里埃尔 2 Gerogiorgakis,Stamatios公司 2 大卫·M·戈登。 2 埃伯哈德·古赫 2 汉伯斯通。 2 劳埃德·亨伯斯通 2 大卫·雅各布森 2 伊格纳西奥·扬内 2 弗雷德·约翰逊 2 约翰·T·卡恩斯。 2 凯文·克莱门特(Kevin C.Klement)。 2 蒂姆·兰伯特 2 沃尔夫冈·伦岑 2 埃德温·马雷斯(Edwin D.Mares)。 2 哈桑·马苏德 2 丹尼尔·梅里尔。 2 彼得·米尔恩 2 格雷戈里·摩尔。 2 克里斯·莫滕森 2 斯特凡·纽沃思 2 乌尔里奇·诺特曼 2 迈克尔·巴帕齐安(Michael B.Papazian)。 2 亚历山大·克里斯托弗·帕索 2 朱塞佩·普里米埃罗 2 帕努·拉提凯宁 2 沙希德·拉赫曼 2 保罗·鲁斯诺克 2 Víctor的Sánchez Valencia 2 德克·施利姆 2 斯文·施洛特 2 彼得·约瑟夫·施罗德·海斯特 2 孙柔欣 2 基思·西蒙斯 2 Barry Hartley斯莱特 2 街道,托尼 2 戈兰·桑德霍姆 2 马克·范·艾登 2 卢卡斯·科西·马特奥(Lukas M.Cosci Matteo),韦尔伯格特(Verburgt) 2 Vrhovski,简 2 凯·弗雷德里克·韦迈耶 2 马蒂亚斯·威利 2 贝纳姆·佐尔加德 …还有294位作者 全部的 前5名领域 488 数学逻辑和基础(03-XX) 391 历史和传记(01-XX) 61 总体主题;集合(00-XX) 6 计算机科学(68至XX) 5 几何图形(51至XX) 4 阶、格、有序代数结构(06-XX) 4 概率论与随机过程(60-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 数学教育(97-XX) 2 组合数学(05-XX) 2 实际功能(26年X月X日) 2 量子理论(81-XX) 1 一般代数系统(08-XX) 1 数论(11-XX) 1 群论与推广(20-XX) 1 差分和函数方程(39至XX) 1 一般拓扑结构(54至XX) 1 统计学(62-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 317出版物有被引用1200中的次849文件 引用人▼ 年份▼ 什么是逻辑概念? Zbl 0622.03004号 阿尔弗雷德·塔斯基 67 1986 关于三值逻辑演算及其在经典扩展函数演算悖论分析中的应用。 Zbl 0512.03004号 博克瓦尔,D.A。 56 1981 超越一阶逻辑:数学逻辑和公理集理论之间的历史相互作用。 Zbl 0495.01007号 格雷戈里·摩尔。 31 1980 完整性和明确性。一: 从19世纪的公理学到20世纪的元逻辑。 Zbl 1031.03002号 史蒂夫·阿沃迪;埃里希·雷克。 28 2002 弗雷格《算术格伦德塞兹》中谓语片段的一致性。 Zbl 0876.03032号 见鬼,Richard G.jun。 26 1996 关于逻辑遵循的概念。马格达·斯特罗因斯卡和大卫·希区柯克从波兰语和德语翻译而来。 Zbl 1030.03003号 阿尔弗雷德·塔斯基 24 2002 关于某一整数算术系统的完备性,其中加法是唯一的运算。 Zbl 0741.03027号 莫伊塞斯普雷斯伯格;戴尔·雅克特 23 1991 分类。 Zbl 0504.03014号 约翰·科科兰 23 1980 自然演绎的简史。 Zbl 1052.03517号 弗朗西斯·杰弗里·佩利蒂埃 20 1999 关于反演原理。 Zbl 1147.03001号 恩里科·莫里科尼;劳拉·泰斯科尼 17 2008 亚里士多德的先前的分析和Boole的思想法则. Zbl 1044.03001号 约翰·科科兰 17 2003 逻辑形式化的不同方式。 兹比尔1272.03017 卡特里娜Dutilh Novaes 16 2011 亚里士多德的自然演绎被重新考虑。 Zbl 0885.03001号 约翰·N·马丁。 15 1997 弗雷格、希尔伯特和模型理论的概念结构。 Zbl 0808.01002号 威廉·德莫普洛斯 14 1994 欧拉的视觉逻辑。 Zbl 1052.03516号 埃里克·哈默;孙柔欣 14 1998 立方体、正方形和存在意义问题。 Zbl 1308.03013号 萨卢阿查蒂;Fabien Schang先生 12 2013 刘易斯·卡罗尔的视觉逻辑。 Zbl 1117.03002号 Abeles,Francine F。 12 2007 微积分推理机与通用特征?重新审视了逻辑中的两个传统。 Zbl 1100.03006号 沃尔克·佩克豪斯 11 2004 美国公设理论家和阿尔弗雷德·塔斯基。 Zbl 1043.03004号 迈克尔·斯坎兰 11 2003 存在图:认知的图解逻辑可能是什么样的。 Zbl 1270.03013号 阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 11 2011 刘易斯·卡罗尔的形式逻辑。 Zbl 1062.03004号 Francine F.阿贝莱斯。 9 2005 单工sigillum veri:皮亚诺、弗雷格和皮尔士关于逻辑的原语。 Zbl 1431.03002号 弗朗西斯科·贝鲁奇;阿米鲁什·莫克特菲;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 9 2018 直觉主义中的真理概念。 Zbl 1067.03009号 帕努·拉提凯宁 8 2004 关于Begriffsschrift的讲座。(Vorlesungenüber Begriffsschrift。(纳赫·德·米施里夫·冯·鲁道夫·卡纳普(Nach der Mitschriff von Rudolf Carnap)。《米特威肯·冯·克里斯托弗·冯·布洛(Unter Mitwirkung von Christopher von Bülow und Brigitte Uhlemann)和布里吉特·乌勒曼(mit Einleitung und Zbl 0860.01036号 戈特洛布·弗雷格 8 1996 完整性和分类性。二: 从20世纪的元逻辑到21世纪的语义学。 Zbl 1038.03003号 史蒂夫·阿沃迪;埃里希·雷克。 8 2002 真理的不确定性。优先权问题:塔斯基对哥德尔。 兹比尔1052.03504 罗马人穆拉夫斯基 8 1998 L.E.J.Brouwer的“逻辑原则的不可靠性”:一个新的翻译,带引言。 Zbl 1372.01108号 马克·范·艾登;戈兰·桑德霍姆 8 2017 论弗雷格概念文字命题逻辑符号:设计原则和权衡。 Zbl 1436.03011号 德克·施利姆 8 2018 在无限集合论中发展算术:一些历史评论。 Zbl 0644.03001号 查尔斯·帕森斯 7 1987 哈佛大学1940-1941:塔斯基、卡纳普和奎因关于科学数学的有限语言。 兹比尔1095.03006 保罗·曼科苏 7 2005 刘易斯·卡罗尔是一位惊人的对立几何家吗? Zbl 1369.03015号 阿莱西奥·莫雷蒂 7 2014 希尔伯特的“Verunglückter Beweis”,第一个ε定理,以及一致性证明。 Zbl 1069.03002号 理查德·扎克 6 2004 亚里士多德情态三段论的重建。 Zbl 1106.03001号 马可·马林克 6 2006 本体中立逻辑。 Zbl 0902.03001号 西奥多·海尔佩林 6 1997 阿隆佐·丘奇:他的生活、他的工作和他的一些奇迹。 Zbl 0899.01024号 玛丽亚·曼扎诺 6 1997 亚里士多德的指示逻辑。 Zbl 1162.03300号 约翰·科科兰 6 2009 完整性和明确性:弗雷格、哥德尔和模型理论。 Zbl 0889.03004号 阅读,斯蒂芬 6 1997 关于基数概念的发展。 Zbl 1204.03002号 奥利弗·德塞 6 2010 科学领域、话语世界和欧米伽论证。 Zbl 1052.03514号 若泽·萨吉略。 6 1999 关于塔斯基的谬论。 Zbl 1052.03509号 马里奥·戈梅斯·托伦特 6 1998 弗雷格的实数理论。 Zbl 0649.01023号 彼得·西蒙斯(Peter M.Simons)。 6 1987 讨论数学基础。 Zbl 0535.03001号 约翰·杜森(John W.jun Dawson)。 6 1984 泽梅洛:确定性和可定义集合的宇宙。 Zbl 1043.03002号 海因兹·迪特·埃宾豪斯 6 2003 罗素1903-1905年对lambda演算的预期。 Zbl 1044.03002号 凯文·克莱门特(Kevin C.Klement)。 6 2003 吉安那逻辑和多元主义的哲学基础。 Zbl 1038.03004号 乔纳登·加内里 6 2002 无限期的西尔洛西。 Zbl 1308.03002号 恩里克·阿尔瓦雷斯;曼纽尔·科雷亚 6 2012 逻辑多元主义的问题。 Zbl 1308.03018号 欧文·格里菲斯 6 2013 对关联逻辑的历史渊源的批判性研究。 Zbl 1503.03004号 沃尔夫冈·伦岑 6 2020 一阶逻辑的紧凑性:从哥德尔到林德斯特伦。 Zbl 0794.03001号 约翰·杜森(John W.jun Dawson)。 5 1993 “我是米歇尔·沃尔·盖特,我是爱伦·帕托宁,我是埃因马尔·祖·韦尔希恩。”(Ich habe mich wohl gehütet,alle Patronen auf einmal zu verschießen)。格廷根的恩斯特·泽梅洛。 Zbl 0692.01016号 沃尔克·佩克豪斯 5 1990 亚里士多德的否定和量化。 Zbl 0705.03002号 迈克尔·韦丁。 5 1990 逻辑结果的方法论实践和补充概念:塔斯基的模型理论结果和科克兰的信息理论结果。 Zbl 1162.03004号 何塞·M·萨圭略。 5 2009 因此进行切割。 兹比尔1298.03005 柯蒂斯·弗兰克斯 5 2010 中世纪和现代说谎者句子方法的比较分类。 Zbl 1156.03008号 Dutilh Novaes,C.公司。 5 2008 维也纳与柏林之间:哥德尔不完全性定理的直接接受。 Zbl 1051.01504号 保罗·曼科苏 5 1999 论胡塞尔的整体与部分理论。 Zbl 1002.03505号 埃托雷·卡萨里 5 2000 布尔代数及其超逻辑来源:玛丽·埃弗莱斯特·布尔的证词。 Zbl 0497.01016号 路易斯·莱塔。 5 1980 亚里士多德的三段论和核心逻辑。 Zbl 1312.03036号 尼尔·坦南特 5 2014 阿维森纳论可能性和必要性。 Zbl 1369.03003号 查蒂,萨洛瓦 5 2014 亚里士多德论普遍量化:从游戏语义的角度进行的研究。 Zbl 1384.03010号 马里恩,M。;Rückert,H。 5 2016 格兰德拉根第64节:弗雷格在历史背景下对抽象定义的讨论。 Zbl 1365.01027号 保罗·曼科苏 5 2015 新柏拉图层次结构中的存在、否定和抽象。 Zbl 0850.03009 约翰·N·马丁。 5 1995 对称与悖论。 Zbl 1119.03012号 阅读,斯蒂芬 5 2006 关于约翰·布里丹的八边形对立的布尔思考。 Zbl 1427.03036号 洛伦兹·德米 5 2019 论一阶逻辑真理的替代表征。 Zbl 1062.03013号 马修·麦基恩 4 2004 量子逻辑的诞生。 Zbl 1130.03002号 雷迪,米克洛斯 4 2007 哥德尔谈概念。 Zbl 1106.03002号 加布里埃拉·克罗科 4 2006 两个芭芭拉。 Zbl 0728.03004号 保罗·托姆 4 1991 十七世纪的逻辑和数学。 Zbl 1222.01008号 马西莫·穆格奈 4 2010 几何结构。 Zbl 1051.51500号 理查德·维斯利 4 1999 完成、还原和分析:亚里士多德的三个证明理论过程先前的分析. Zbl 1052.03500号 乔治·博格 4 1998 赫布兰德语义学、潜在无限和无本体论逻辑。 Zbl 0755.03003号 西奥多·海尔佩林 4 1992 罗素的阶级和关系替代理论。 兹比尔0645.01014 格雷戈里·兰迪尼 4 1987 乔治·坎托对伯特兰·罗素的影响。 Zbl 0502.01010号 格拉坦-吉尼斯,I。 4 1980 关于极端公理。 Zbl 0512.03003号 鲁道夫·卡纳普;弗里德里希·巴赫曼 4 1981 逻辑和数学基础中的心理学:布尔、康托和布劳沃的案例。 Zbl 0516.03002号 格拉坦-吉尼斯,I。 4 1982 波普尔的演绎推理理论和逻辑常数的概念。 Zbl 0568.03004号 彼得·施罗德·海斯特 4 1984 弗雷格:两篇论文,两种感觉。 邮编:1047.03006 卡洛·彭科 4 2003 打破关于勒希涅夫斯基和定义的神话。 Zbl 1311.01024号 拉斐尔·乌尔巴尼亚克;Hämäri,K.Severi 4 2012 弗雷格的分析基础方法(1874-1903)。 Zbl 1345.03007号 马蒂亚斯·希恩 4 2013 图解推理:关于Charles S.Peirce和Friedrich A.Lange的一些注释。 Zbl 1312.03001号 弗朗西斯科·贝鲁奇 4 2013 对立广场:历史视角下的图表和理论。 Zbl 1357.03011号 4 2014 今天的存在意义:新的元定理;历史、哲学和教学上的误解。 Zbl 1373.03009号 约翰·科科兰;哈桑·马苏德 4 2015 论非哲学斯多葛逻辑的完备性。 Zbl 0832.03005号 彼得·米尔恩 4 1995 皮尔士的真函数分析和真值表的起源。 Zbl 1270.03008号 欧文·H·安妮莉斯。 4 2012 Weigel和Weise循环中的逻辑图。 Zbl 1436.03009号 延斯·莱曼斯基 4 2018 双重量化命题之间推理关系的布里达式解释:可靠性证明。 兹比尔1061.03008 卡特里娜Dutilh Novaes 三 2004 弗雷格《格伦德盖塞》中的分解与分析。 Zbl 0876.0302号 格雷戈里·兰迪尼 三 1996 维特根斯坦N算子的幂和极限。 邮编1097.03001 詹姆斯·麦格雷(James W.McGray)。 三 2006 二阶逻辑的批判性评价。 Zbl 0788.03003号 伊格纳西奥·杰内 三 1993 可定义性悖论:理查德和庞加莱的出路。 Zbl 0792.01022号 基思·西蒙斯 三 1994 弗雷格减法。 邮编0804.00006 帕特里夏·A·布兰切特。 三 1994 封闭的、基于标记的语义的后果:约翰·布里丹的案例。 Zbl 1058.03514号 Gyula Klima 三 2004 乔治·布尔(George Boole)和斯坦利·杰文斯(Stanley Jevons)之间的通信,1863-1864年。 Zbl 0721.01010号 格拉坦-吉尼斯,象牙 三 1991 阿维森纳和Ṭ模态逻辑。 Zbl 1187.01007号 亨利克·拉格伦德 三 2009 罗素早期的指称理论。 Zbl 1173.03002号 戴维·博斯托克 三 2009 哥德尔于1939年引入逻辑。 Zbl 1163.03002号 卡苏-诺格斯,P。 三 2009 Etchemendy和Bolzano关于逻辑结果。 Zbl 1200.03013号 保罗·鲁斯诺克;马克·伯克 三 2010 塔木德一般和特殊规则的逻辑分析(Klalim-u-Praṭim)。 Zbl 1231.03003号 迈克尔·亚伯拉罕;加贝,多夫·M。;加布里埃尔·哈祖特;优素福·马鲁夫卡。;乌里·希尔德 三 2011 弗雷格(Frege)、奥古斯特·贝贝尔(August Bebel)和阿尔萨斯-洛林(Alsace-Lorraine)的回归:两者之间区别的年代辛恩和意义. 兹比尔1030.01021 戈兰·桑德霍姆 三 2001 演绎定理(Herbrand之前和之后)。 Zbl 1512.03025号 柯蒂斯·弗兰克斯 1 2021 对关联逻辑的历史渊源的批判性研究。 Zbl 1503.03004号 沃尔夫冈·伦岑 6 2020 洛伦森对初等数论一致性的证明。 Zbl 1512.03073号 可口、蒂埃里;斯特凡·纽沃思 三 2020 尼尔森对“所有十二世纪争论中最尴尬的一次”的回应。 Zbl 1509.03004号 路易斯·埃斯特拉达·冈萨雷斯;拉米雷斯-卡马拉,埃利桑格拉 2 2020 库尔特·哥德尔对图灵机器的期待:一种充满活力的方法。 Zbl 1512.03008号 蒂姆·莱顿 2 2020 A.N.Prior和“逻辑的本质”。 Zbl 1503.03003号 大卫·雅各布森 1 2020 霍布森关于可定义数的概念。 Zbl 1509.03011号 樊,赵 1 2020 关于约翰·布里丹的八边形对立的布尔思考。 Zbl 1427.03036号 洛伦兹·德米 5 2019 阿维森纳谈非贸易法。 Zbl 1427.03027号 贝纳姆·佐尔加德 2 2019 责任与牺牲:对毛利人的逻辑分析ṃ吠陀禁令的斯拉理论。 Zbl 1427.03006号 伊利莎·弗雷斯基;安德鲁·奥利特;马蒂奥·帕斯库奇 2 2019 学术哲学和学术哲学之间的耶稣会概率逻辑。 Zbl 1427.03007号 米罗斯拉夫·汉克 1 2019 命题逻辑中的亚里士多德逻辑公理:袋方法。 Zbl 1427.03029号 阿尔瓦雷斯·丰特西拉,恩里克;汤玛斯·隆根斯特拉斯 1 2019 奎因对逻辑真理的替代定义以及Löwenheim-Hilbert-Bernays定理的哲学意义。 Zbl 1427.03025号 瓦格纳,亨利 1 2019 斯多葛顺序逻辑和证明理论。 Zbl 1427.03061号 苏珊娜·博布赞 1 2019 Sextus Empiricus的第四个条件和包容逻辑。 Zbl 1427.03011号 耶鲁大学维斯 1 2019 单工sigillum veri:皮亚诺、弗雷格和皮尔士关于逻辑的原语。 Zbl 1431.03002号 弗朗西斯科·贝鲁奇;阿米鲁什·莫克特菲;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 9 2018 论弗雷格概念文字命题逻辑符号:设计原则和权衡。 Zbl 1436.03011号 德克·施利姆 8 2018 Weigel和Weise循环中的逻辑图。 Zbl 1436.03009号 延斯·莱曼斯基 4 2018 亚里士多德、逻辑学和量子力学。 Zbl 1427.03047号 乔纳斯·拉布 三 2018 二元乙烯主义的苏菲路径:胶子理论和瓦达特·乌吉。 Zbl 1428.03038号 贝纳姆·佐尔加德 2 2018 卡尔马尔反对丘奇论文合理性的论点。 Zbl 1428.03034号 马塞·萨博 2 2018 书评:E.Casari,Bolzano的逻辑系统。 Zbl 1456.00039号 塞巴斯蒂克,简 2 2018 推理的上下文。 Zbl 1427.03015号 柯蒂斯·弗兰克斯 2 2018 阿维森纳关于主要命题。 Zbl 1428.01008号 Seyed N.穆萨维安。;穆罕默德·阿德谢尔 1 2018 解码Gentzen的符号。 兹比尔1427.03062 卢卡·贝洛蒂 1 2018 “我未来的儿子可能还活着”。阿伯拉德模态逻辑中的存在预设和空项。 兹比尔1427.03002 艾琳·比尼尼 1 2018 黑格尔和结果的奇异性。 Zbl 1427.03004号 埃琳娜·菲卡拉 1 2018 “带神秘尖刺的钟声”。奥古斯塔斯·德·摩根(Augustus De Morgan)1850年的逻辑符号是“对立关系演算”。 Zbl 1436.03007号 安娜·索菲·海尼曼 1 2018 L.E.J.Brouwer的“逻辑原则的不可靠性”:一个新的翻译,带引言。 Zbl 1372.01108号 马克·范·艾登;戈兰·桑德霍姆 8 2017 König的无穷引理和Beth的树定理。 Zbl 1417.03038号 乔治·韦弗 三 2017 维特根斯坦符号:一种标志性的证明过程。 Zbl 1417.03082号 蒂姆·兰伯特 三 2017 中的函数和参数概念文字. Zbl 1417.03004号 卡利克斯托·巴德萨;贝特兰·桑·密兰(Joan Bertran-San Milán) 2 2017 波普尔的二元性概念及其否定理论。 Zbl 1406.03004号 大卫·宾德;托马斯·皮埃查 2 2017 从理查德悖论中拯救庞加莱。 Zbl 1417.03084号 劳雷亚诺·卢纳 1 2017 格雷厄姆·普里斯特对空虚概念的数学分析。 Zbl 1417.03066号 埃伯哈德·古赫 1 2017 亚里士多德模态逻辑的术语类型和形式。 Zbl 1417.03088号 约书亚·门德尔松 1 2017 威尼斯的保罗和罗杰·斯文尼谢德处理语义悖论的现实主义发展。 兹伯利1417.03011 米罗斯拉夫·汉克 1 2017 弗雷格的概念文字确实是一阶完备的。 Zbl 1417.03016号 刘,杨 1 2017 有意义的遏制。 Zbl 1417.03090号 安东尼奥·尼格罗 1 2017 亚里士多德论普遍量化:从游戏语义的角度进行的研究。 Zbl 1384.03010号 马里恩,M。;吕克特,H。 5 2016 查尔斯·S·皮尔士与中世纪教义结果. Zbl 1384.03003号 弗朗西斯科·贝鲁奇 三 2016 亚里士多德关于非原因谬论。 Zbl 1384.03004号 卢卡·卡斯塔尼奥利 2 2016 布洛斯和奎因对逻辑真理和结果的定义的元数学。 Zbl 1384.03025号 Günther埃德尔 2 2016 怀特黑德的(非常)校正过的原理. Zbl 1384.03009号 格雷戈里·兰迪尼 1 2016 格兰德拉根第64节:弗雷格在历史背景下对抽象定义的讨论。 Zbl 1365.01027号 保罗·曼科苏 5 2015 今天的存在意义:新的元定理;历史、哲学和教学上的误解。 Zbl 1373.03009号 约翰·科科兰;哈桑·马苏德 4 2015 第12卷附录VI至X中的形式逻辑思想胡塞尔里亚(1970).(第12卷附录六至十胡塞尔里亚(1970).) Zbl 1369.03009号 曼努埃尔·古斯塔沃·艾萨克 三 2015 满足谓词:Hilbert-Bernays定理的Kleene证明。 Zbl 1369.03004号 加里·埃布斯 三 2015 布里丹对说谎者悖论的解决方案。 兹比尔1369.03001 Benétreau-Dupin,亚恩 三 2015 黑格尔对贪吃的否定。 Zbl 1369.03040号 埃琳娜·菲卡拉 三 2015 布里丹情态三段论的形式重建。 Zbl 1373.03022号 斯宾塞·约翰斯顿 2 2015 走向“图灵——计算机科学之父”的历史概念。 Zbl 1359.68004号 《日光》,埃德加·G·。 2 2015 关于沃尔特·杜比斯拉夫。 Zbl 1359.01050号 尼古拉·米尔科夫 1 2015 程序验证的证明。 Zbl 1359.68186号 塞尔默布林斯乔尔 1 2015 刘易斯·卡罗尔是一位惊人的对立几何家吗? 兹伯利1369.03015 阿莱西奥·莫雷蒂 7 2014 亚里士多德的三段论和核心逻辑。 Zbl 1312.03036号 尼尔·坦南特 5 2014 阿维森纳论可能性和必要性。 Zbl 1369.03003号 萨卢阿查蒂 5 2014 对立广场:历史视角下的图表和理论。 Zbl 1357.03011号 4 2014 大块渗透:艾萨克·牛顿的无穷小。 Zbl 1312.03028号 大卫·约翰·斯威尼 三 2014 完整性:从哥德尔到亨金。 Zbl 1312.03004号 玛丽亚·曼扎诺;恩里克·阿隆索 2 2014 约翰·维恩假设的无限频繁主义和逻辑。 Zbl 1309.01013号 卢卡斯·韦伯格特(Lukas M.Verburgt)。 2 2014 中世纪的八边形,用于带有量化谓词的句子。 兹比尔1369.03002 坎普斯·贝尼特斯、胡安·曼努埃尔 2 2014 Syncategoremata类在阿拉伯语逻辑中,指al-Fárárbé和Avicenna。 Zbl 1316.01006号 萨卢阿查蒂 1 2014 为什么韦尔认为形式主义对直觉主义的胜利意味着纯粹现象学的失败? Zbl 1309.01016号 尤利安·D·托德。 1 2014 编辑对C.I.Lewis和C.H.Langford的介绍“关于严格暗示的注释”。 Zbl 1312.03005号 埃德温·马雷斯 1 2014 关于严格含义的注释(1935)。 Zbl 1312.03003号 刘易斯,C.I。;兰福德,C.H。 1 2014 我们需要数学事实吗? Zbl 1312.03013号 沃伊切赫Krysztofiak 1 2014 亚里士多德三段论中的矛盾原则。 Zbl 1312.03002号 皮埃尔·乔雷 1 2014 Słupecki的广义mereology及其缺陷。 Zbl 1312.03008号 拉斐尔·乌尔巴尼亚克 1 2014 立方体、正方形和存在意义问题。 Zbl 1308.03013号 萨卢阿查蒂;Fabien Schang先生 12 2013 逻辑多元主义的问题。 Zbl 1308.03018号 欧文·格里菲斯 6 2013 弗雷格的分析基础方法(1874-1903)。 Zbl 1345.03007号 马蒂亚斯·希恩 4 2013 图解推理:关于查尔斯·S·皮尔斯和弗里德里希·兰格的一些注释。 Zbl 1312.03001号 弗朗西斯科·贝鲁奇 4 2013 分配术语、真理和皇家逻辑港. Zbl 1312.03015号 约翰·N·马丁。 三 2013 弗雷格、戴德金和逻辑主义的起源。 Zbl 1308.03008号 埃里希·雷克。 三 2013 厄哈德·魏格尔对符号逻辑形成的贡献。 Zbl 1329.01022号 马滕·布林克 2 2013 S2的路易斯语义学。 Zbl 1312.03024号 埃德温·马雷斯 1 2013 书评:B.Linsky,The evolution of数学原理伯特兰·罗素的第二版手稿和注释。 Zbl 1308.00021号 格雷戈里·兰迪尼 1 2013 关于博尔扎诺的总和概念。 Zbl 1308.01006号 保罗·鲁斯诺克 1 2013 弗雷格、卡纳普和解释:“我们在这里关注的是得出一个可用于科学目的的数字概念”。 Zbl 1308.03006号 格雷戈里·拉弗斯 1 2013 的Typos数学原理. 兹比尔1311.01023 格雷戈里·兰迪尼 1 2013 论弗雷格的谓词指称概念。 Zbl 1308.03007号 Palle Leth 1 2013 书评:F.Acerbi,Il silenzio delle sirene。大斑兔。 Zbl 1308.00038号 冯·柏拉图,简 1 2013 带有不确定术语的三段论。 Zbl 1308.03002号 恩里克·阿尔瓦雷斯;曼纽尔·科雷亚 6 2012 打破关于勒希涅夫斯基和定义的神话。 Zbl 1311.01024号 拉斐尔·乌尔巴尼亚克;Hämäri,K.Severi 4 2012 皮尔士的真函数分析和真值表的起源。 Zbl 1270.03008号 阿内利斯,欧文H。 4 2012 博尔扎诺的无意识证明问题贡献和他的科学理论.(Bolzanos中的Das Problem der apagogischen Beweise)Beyträgen公司和塞纳河科学理论.) Zbl 1312.01008号 斯特凡妮娅·森特隆 三 2012 亨利·谢弗和符号相对论。 Zbl 1263.01017号 阿拉斯代尔·厄克哈特 三 2012 克里西普斯面对说谎者:斯多葛复国主义的案例。 Zbl 1304.03023号 迈克尔·帕帕齐安 1 2012 书评:P.Mancosu,《理性的冒险》。1900-1940年数学哲学和数学逻辑之间的相互作用。 Zbl 1308.00037号 马克·范·艾登 1 2012 利昂·丘斯特克(Leon Chwistek),《纯粹类型理论的原则》(The principles of The pure type theory,1922),由亚当·特雷布斯(Adam Trybus)翻译,伯纳德·林斯基(Bernard Linsky)作了介绍性说明。 Zbl 1320.01018号 亚当·特雷布斯 1 2012 归纳的理由:罗素和金岳霖。比较研究。 兹比尔1308.01008 Bo,Chen(陈波) 1 2012 强有力的证据和禁止梅塔巴斯·艾萨洛·盖诺斯对伯纳德·博尔扎诺的调查Beyträge zu einer begründeten Darstellung der Mathematik(贝塔格·祖·埃纳).(优势Beweise und das Verbot der梅塔巴斯·艾萨洛·盖诺斯.Eine Untersuchung zu Bernard Bolzanos女士Beyträgen zu einer begründeten Darstellung der Mathematik公司.) Zbl 1273.01026号 斯特凡妮娅·森特隆 1 2012 分析方法:数学推理的范式? Zbl 1272.03025号 贾科·辛提卡 1 2012 逻辑形式化的不同方式。 Zbl 1272.03017号 卡特里娜Dutilh Novaes 16 2011 存在图:认知的图解逻辑可能是什么样的。 兹比尔1270.03013 阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 11 2011 塔木德一般和特殊规则的逻辑分析(Klalim-u-Praṭim)。 Zbl 1231.03003号 迈克尔·亚伯拉罕;加贝,多夫·M。;加布里埃尔·哈祖特;尤塞夫·马鲁夫卡(Yosef E.Maruvka)。;乌里·希尔德 三 2011 皮尔士对图形模态逻辑(命题部分)的搜索。 Zbl 1270.03014号 以斯帖·拉姆哈特;克里斯蒂安·戈特沙尔 三 2011 1936年塔斯基结果定义文件中缺乏多重话语世界。 Zbl 1270.03009号 约翰·科科兰;何塞·米盖尔·萨圭略 三 2011 转型期的“元数学”。 Zbl 1270.03018号 马蒂亚斯·威利 2 2011 …还有217个文档 所有引用出版物 前5名被引用出版物 全部的 前5名700位作者引用 13 阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 12 洛伦兹·德米 10 格拉坦-吉尼斯,象牙 10 阿米鲁什·莫克特菲 9 欧文·亨利·安妮莉斯 9 弗朗西斯科·贝鲁奇 8 约翰·科科兰 8 卡特里娜Dutilh Novaes 8 西奥多·海尔佩林 8 格雷戈里·兰迪尼 8 阅读,斯蒂芬 8 汉斯·斯梅萨特 7 珍妮·伊夫·贝齐奥 7 雅罗斯拉夫·伊戈列维奇·彼得鲁金 7 肖恩·沃尔什 6 秋弘市卡纳莫里 6 格雷戈里·摩尔。 6 拉赫曼,沙希德 6 Verburgt,Lukas M.Cosci Matteo 5 Günther Eder 5 米里亚姆·弗朗西拉 5 劳埃德·亨伯斯通 5 杰里米亚·乔文·乔金(Jeremiah Joven B.Joaquin)。 5 约翰·尼尔·马丁 5 埃里希·雷克。 5 吉尔·萨吉 5 何塞·米盖尔·萨圭略 5 乔治·希默尔 5 马蒂亚斯·希恩 5 理查德·扎克 4 吉安·阿尔多·安东内利 4 史蒂夫·阿沃迪 4 弗朗西丝卡·博卡尼 4 斯特凡诺·邦齐奥 4 萨卢阿查蒂 4 大卫·丘奇 4 克拉克斯,拉夫 4 约翰·杜森(John W.jun Dawson)。 4 科斯塔·多森 4 海因兹·迪特·埃宾豪斯 4 埃琳娜·菲卡拉 4 尼西姆·弗朗西兹 4 米罗斯拉夫·汉克 4 哈蒂莫,米尔娅·海伦娜 4 曼努埃尔·古斯塔沃·艾萨克 4 凯文·克莱门特(Kevin C.Klement)。 4 蒂姆·兰伯特 4 林内波,Ø伊斯坦 4 爱丽丝·勒布 4 玛丽亚·曼扎诺 4 埃德温·马雷斯(Edwin D.Mares)。 4 劳伦斯·莫斯。 4 斯图尔特·夏皮罗 4 拉法·乌尔巴尼亚克 4 马克·范·艾登 4 凯文·伍兹(Kevin M.Woods)。 三 米洛舍·阿季奇 三 恩里克·阿隆索 三 巴塔查吉,里图 三 丹尼斯·邦内 三 插入符号,Colin R。 三 达戈斯蒂诺,马塞洛 三 沃尔特·迪安 三 迪迪埃·杜布瓦 三 费费曼,所罗门 三 费尔南多·费雷拉 三 何塞·费雷洛斯 三 柯蒂斯·弗兰克斯 三 加贝,多夫·M。 三 马里奥·戈梅斯·托伦特 三 诺伯特·格拉茨 三 伊曼纽尔·哈卢普佐克 三 Allen P.哈森。 三 见鬼,理查德·金伯利 三 莱因哈德·卡勒 三 安斯滕·默奇·克莱夫 三 格雷厄姆·利奇·克鲁斯 三 延斯·莱曼斯基 三 伯纳德·林斯基 三 恩里科·莫里科尼 三 弗朗西斯科·保利 三 沃尔克·佩克豪斯 三 弗朗西斯·杰弗里·佩利蒂埃 三 尼基·菲弗 三 格雷厄姆牧师 三 格雷格·雷斯塔尔 三 赖斯,阿德里安·克利福德 三 罗德里格斯Consuegra,Francisco A。 三 朱塞佩·桑菲利波 三 杰弗里·奥特洛·沙利特 三 吉拉·谢尔 三 雅罗斯拉夫·什兰科。 三 威弗里德·西格 三 肖恩·斯坦德弗 三 达米安·恩里克 三 尼尔·W·坦南。 三 亚当·特雷布斯 三 约瑟夫·乌尔班 三 凯·弗雷德里克·韦迈耶 2 Francine F.阿贝莱斯。 …还有600多名作者 全部的 前5名82种期刊引用 175 逻辑历史与哲学 78 合成 55 符号逻辑综述 43 哲学逻辑杂志 42 泛逻辑 40 符号逻辑公报 39 Studia Logica公司 30 圣母院形式逻辑杂志 25 逻辑与逻辑哲学 19 数学史 12 逻辑、语言与信息杂志 11 应用非经典逻辑杂志 9 埃尔肯特尼斯 9 应用逻辑杂志 8 数学信使 6 精密科学史档案 6 符号逻辑杂志 6 纯逻辑与应用逻辑年鉴 5 自动推理杂志 5 国际近似推理杂志 5 Indagationes Mathematicae公司。新系列 4 理论计算机科学 4 托波伊 4 科学基础 三 信息科学 三 逻辑科公报 三 Axiomathes公司 三 Logicheskie Issledovaniya逻辑 2 人工智能 2 国际通用系统杂志 2 Semesterberichte数学 2 代数普遍性 2 塞贡达·埃波卡理论 2 MSCS公司。计算机科学中的数学结构 2 数学与人工智能年鉴 2 NTM公司。Neue系列 2 BSHM公告 2 科学史与哲学研究。第二部分近代物理史与哲学研究 2 哲学指南针 2 可计算性 2 公理 2 Nôus公司 2 科学观点 1 国际现代物理杂志A 1 美国数学月刊 1 德国财政部(DMV) 1 数学公报 1 莫斯科大学数学通报 1 杜克数学杂志 1 模糊集与系统 1 数学发明 1 纯粹与应用代数杂志 1 凯伯内特斯 1 京都大学数学科学研究所出版物 1 数学成绩 1 美国数学学会会刊 1 匈牙利数学学报 1 符号计算杂志 1 运筹学年鉴 1 计算几何 1 国际代数与计算杂志 1 数学说明 1 组合数学电子杂志 1 数学史评论 1 Doklady数学 1 软计算 1 英国皇家统计学会杂志。系列A.社会统计 1 LMS计算与数学杂志 1 RAIRO公司。理论信息学及其应用 1 国际科学哲学研究 1 熵 1 朱西厄数学研究所学报 1 多值逻辑与软计算杂志 1 Oberwolfach报告 1 计算机科学中的逻辑方法 1 《大学数学杂志》 1 RAIRO公司。理论信息学及其应用 1 对称 1 欧洲科学哲学杂志 1 伦敦数学学会汇刊 1 国际系统科学杂志。系统与集成原理与应用 1 离散分析 全部的 前5名41个领域被引用 758 数学逻辑和基础(03-XX) 371 历史和传记(01-XX) 107 总体主题;集合(00-XX) 55 计算机科学(68至XX) 21 几何图形(51至XX) 13 阶、格、有序代数结构(06-XX) 8 数论(11-XX) 8 实际功能(26年X月X日) 8 概率论与随机过程(60-XX) 7 量子理论(81-XX) 6 博弈论、经济学、金融和其他社会和行为科学(91-XX) 5 组合数学(05-XX) 5 范畴理论;同调代数(18-XX) 5 群论与推广(20-XX) 5 凸几何和离散几何(52至XX) 4 一般代数系统(08-XX) 4 拓扑群、李群(22日至XX日) 三 交换代数(13-XX) 三 代数几何(14-XX) 三 一般拓扑结构(54至XX) 2 场论和多项式(12-XX) 2 结合环与代数(16-XX) 2 算子理论(47-XX) 2 代数拓扑(55-XX) 2 统计学(62-XX) 2 数值分析(65-XX) 2 相对论与引力理论(83至XX) 2 运筹学、数学规划(90-XX) 2 数学教育(97-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 测量和集成(28-XX) 1 特殊功能(33至XX) 1 偏微分方程(35-XX) 1 序列、级数、可和性(40-XX) 1 抽象谐波分析(43至XX) 1 功能分析(46倍X倍) 1 微分几何(53至XX) 1 流形和细胞复合体(57至XX) 1 光学、电磁理论(78-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文