逻辑与分析。Nouvelle Série公司 简短标题: 日志。分析。,努夫。Sér。 出版商: Peeters,鲁汶;布鲁塞尔国家物流中心 国际标准编号: 0024-5836; 2295-5836/e 在线: https://poj.peeters-leuven.be/content.php?url=journal&journal_code=LEAhttps://www.logiqueetanalyse.be/ 评论: 期刊;此日志可开放访问。 已编制索引的文档: 1159出版物(自1964年起) 全部的 前5名最新问题 65,编号259-260(2022) 65,编号258(2022) 65,编号257(2022) 64第256号(2021) 64,第255号(2021) 64,编号254(2021) 64,第253号(2020) 63,第252号(2020) 63,第251号(2020) 63第249-250号(2020) 62,第248号(2019) 62,第247号(2019) 62,第246号(2019) 62,第245号(2019) 61,第244号(2018) 61,第243号(2018) 61,第242号(2018) 61,第241号(2018) 60,第240号(2017) 60,第239号(2017) 60,第238号(2017) 602017年第237号 59,第236号(2016) 59,第235号(2016) 59,第234号(2016) 59,第233号(2016) 582015年第232号 58,第231号(2015) 582015年第230号 582015年第229号 572014年第228号 572014年第227号 572014年第226号 57,第225号(2014) 56,第224号(2013) 56,第222号(2013) 562013年第221号 552012年第220号 552012年第219号 552012年第218号 552012年第217号 54,第216号(2011) 54,第215号(2011) 54,第214号(2011) 542011年第213号 532010年第212号 532010年第211号 532010年第209号 522009年第208号 522009年第207号 522009年第206号 522009年第205号 51,第204号(2008) 51,2008年第203号 51(2008)第202号 51,第201号(2008) 502007年第200号 50,第199号(2007) 502007年第198号 502007年第197号 49,第196号(2006年) 492006年第195号 492006年第194号 492006年第193号 48第189-192号(2005) 47,编号185-188(2004) 46第183-184号(2003) 46,第182号(2003) 46,第181号(2003) 45第179-180号(2002) 45第177-178号(2002) 44,第176号(2001) 44第173-175号(2001) 43第171-172号(2000) 43第169-170号(2000) 42第167-168号(1999) 42第165-166号(1999) 41,第164号(1998) 41第161-163号(1998) 40,第160号(1997) 40,第159号(1997) 40,第158号(1997) 40,第157号(1997) 39第155-156号(1996) 39,第153-154号(1996) 38第150-152号(1995) 38,第149号(1995) 37第147-148号(1994) 37,第146号(1994) 37,第145号(1994) 36第143-144号(1993) 36第141-142号(1993) 35第139-140号(1992) 35,编号137-138(1992) 34第135-136号(1991) 34第133-134号(1991) 33,第131-132号(1990) 33第129-130号(1990) 32,编号127-128(1989) 32,编号125-126(1989) …还有25卷 全部的 前5名作者 22 迪德里克·巴滕斯 19 克雷斯韦尔·麦克斯韦尔·约翰 19 理查德·西尔文 13 珍妮·伊夫·贝齐奥 11 罗伯特·肯尼思·梅耶 11 牧师,格雷厄姆 11 范本德根,让-保罗 9 罗斯·托马斯·布雷迪 9 Da Costa、Newton Carneiro Affonso 9 巴里·哈特利·斯莱特 8 精木赤山 8 Goble,卢 8 罗尔夫·斯科克 8 罗杰·韦高文 8 埃里克·韦伯 7 托马斯·福斯特 7 让·波特 6 帕特丽斯·白哈切 6 菲利普·比肯斯 6 马塞尔·克拉贝 6 蒂埃里·卢卡斯 6 何塞·梅恩德斯。 6 杰玛·罗伯斯 6 格罗德·斯塔尔 5 奥奎斯特,伦纳德 5 马丁·邦德。 5 马西米利亚诺·卡拉拉 5 路易斯·法利尼亚斯·德尔·塞罗 5 Jean-Louis加迪斯 5 乔治·卡林诺夫斯基 5 约翰·T·卡恩斯。 5 埃德温·马雷斯(Edwin D.Mares)。 5 Meheus,笑话 5 克里斯·莫滕森 5 尼古拉斯·雷斯彻 5 格雷格·雷斯塔尔 5 阿德里安·里尼(Adriane A.Rini)。 5 彼得·西蒙斯(Peter M.Simons)。 5 道格拉斯·尼尔·沃尔顿 4 亚伯、杰尔·米诺罗 4 利奥·阿波斯特 4 沃尔特·亚历山大·卡尼埃利 4 哈里·斯瓦特(Harrie C.M.de Swart)。 4 福雷斯特,彼得 4 尼西姆·弗朗西兹 4 詹姆斯·加森(James W.Garson)。 4 罗德里克·贾尔(Roderic A.Girle)。 4 皮埃尔·V·格罗斯让。 4 罗兰·希尼翁 4 劳埃德·亨伯斯通 4 德西奥·克劳斯 4 布鲁诺·勒克莱尔 4 休·A·蒙哥马利 4 阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 4 弗朗西丝卡·波乔列西 4 约翰·波洛克。 4 Rennie,M.K。 4 弗朗西斯科·萨尔托 4 迈克尔·沙弗。 4 克里斯蒂安·斯特拉瑟 4 Daniel R.Vanderveken。 4 Verhoeven,丽莎 4 安德烈·维希·涅夫斯基 三 阿洛,帕特里克 三 乔纳斯·拉斐尔·贝克尔·阿伦哈特 三 佛罗伦西奥·冈萨雷斯,阿森霍 三 Barth,Else M。 三 罗伯特·W·比尔德。 三 埃尔曼诺·本西文加 三 莫里斯·博法 三 奥塔维奥·布埃诺 三 丹妮尔·奇菲 三 约翰·纽索姆·克罗斯利 三 埃德尔西奥·德索萨(Edelcio G.de Souza)。 三 洛伦兹·德米 三 罗尼·德斯梅特 三 多利亚,弗朗西斯科·安东尼奥 三 约阿希姆·弗朗斯 三 保罗·戈切特 三 吉勒·加斯顿格兰杰 三 格拉坦-吉尼斯,象牙 三 休伯特·休宾 三 高雄井上 三 凯萨琳·吴强森 三 约翰·斯通(Henry W.jun Johnstone)。 三 德鲁·科伦佐斯 三 查尔斯·基尔科夫。 三 莫什·克罗伊 三 Lee,Byeong D。 三 Gert-Jan C.Lokhorst。 三 吉姆·麦肯齐 三 查尔斯·格雷迪·摩根 三 罗马人穆拉夫斯基 三 或者艾瓦·奥斯卡。 三 弗朗西斯科·保利 三 克劳迪奥·埃尔科尔·安东尼奥·皮齐 三 朱塞佩·普里米埃罗 三 达格玛·普罗维金 三 查尔斯·沙伊沃德。 三 田中,Koji …还有733位作者 全部的 前5名领域 1,018 数学逻辑和基础(03-XX) 99 总体主题;集合(00-XX) 70 历史和传记(01-XX) 50 计算机科学(68至XX) 19 博弈论、经济学、金融和其他社会和行为科学(91-XX) 18 量子理论(81-XX) 11 阶、格、有序代数结构(06-XX) 8 概率论与随机过程(60-XX) 7 范畴理论;同调代数(18-XX) 6 信息与通信理论、电路(94-XX) 5 一般拓扑结构(54-XX) 三 数论(11-XX) 三 几何图形(51至XX) 三 粒子和系统力学(70-XX) 三 相对论和引力理论(83至XX) 2 组合数学(05-XX) 2 统计学(62-XX) 2 生物学和其他自然科学(92-XX) 1 一般代数系统(08-XX) 1 实函数(26年X月X日) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 422出版物有1668年被引用中的次1217文件 引用人▼ 年份▼ 关于“谁是J?”的问题:一种社会选择方法。 Zbl 0976.91013号 阿萨·卡舍尔;阿里尔·鲁宾斯坦 44 1997 次一致扩张命题逻辑。 Zbl 0459.03013号 迪德里克·巴滕斯 40 1980 接地和真实功能。 Zbl 1253.03028号 Fabrice科雷亚 39 2010 时态逻辑的tableau方法:概述。 Zbl 0585.03008号 皮埃尔·沃尔珀 38 1985 RM3和BN4系统的完整性证明。 兹伯利0498.03012 罗斯·T·布雷迪。 38 1982 蕴涵的代数分析。一、。 Zbl 0336.02020号 罗伯特·梅耶(Robert K.Meyer)。;理查德·劳特利 35 1972 正常模态逻辑的偶然性和非偶然性基础。 Zbl 0294.0208号 H·蒙哥马利。;罗特利,R。 29 1966 懒惰模型是理论学家对稳定性的指导。 兹比尔0359.02052 萨拉、撒哈拉 29 1975 几乎所有正常的模态逻辑都是超常的。 Zbl 1084.03015号 乔安·马科斯 27 2005 自适应逻辑的一般特征。 Zbl 1047.03017号 迪德里克·巴滕斯 25 2001 完全正逻辑的丰富的次协调扩展。 Zbl 1078.03024号 迪德里克·巴滕斯;克里斯托夫·德·克莱尔克 24 2004 物理理论和可能世界。 Zbl 0287.0209号 克雷斯韦尔,M.J。 19 1973 问题和推论。 Zbl 1045.03508号 安德烈·维希·涅夫斯基 18 2001 模态逻辑的一种新的四值方法。 Zbl 1228.03003号 珍妮·伊夫·贝齐奥 17 2011 一些量化相关逻辑的自然演绎系统。 Zbl 0559.03011号 罗斯·T·布雷迪。 17 1984 直觉分析公理化注释。 Zbl 0187.26307号 J.米希尔。 16 1966 时间相对模态和道义谓词逻辑系统及其哲学应用。 Zbl 0549.03004号 van Eck,J.A。 16 1982 关于“谁是J?”的公理化表征。 Zbl 1155.91349号 宋绍琴;丁科·迪米特洛夫 14 2005 什么是自我参照句?对雅布洛悖论的所谓(非)循环性的批评性评论。 Zbl 1058.03009号 汉内斯·莱特盖布 13 2002 子结构逻辑中的模态。 Zbl 0840.03011号 格雷格·雷斯塔尔 13 1993 推动校样中的搜索路径。证明启发式的研究。 Zbl 1054.03008号 迪德里克·巴滕斯;达格玛·普罗维金 12 2001 关于认知逻辑的思考。 Zbl 0814.03002号 约翰·范·本特姆 11 1991 Łukasiewicz的无限值逻辑中的算术和真理。 Zbl 0832.03010号 格雷格·雷斯塔尔 11 1992 一些正规模态命题逻辑的苏格拉底证明。 Zbl 1078.03016号 多罗塔·莱斯琴斯卡 11 2004 道义逻辑的首选语义。一、简单模型。 Zbl 1073.03014号 卢·高布尔 10 2003 问题唤起的自适应逻辑。 Zbl 1047.03019号 Meheus,笑话 10 2001 关于\(\aleph_0\)-范畴特异性外p-群。 Zbl 0355.02038号 乌尔里希·费尔格纳 10 1975 情态等级。 Zbl 0221.02008号 高布尔,L.F。 10 1970 多值逻辑中的量词。 Zbl 0129.00317号 尼古拉斯·雷斯彻 10 1964 以自然演绎为特征的自然三值逻辑。 Zbl 1430.03046号 雅罗斯拉夫·彼得鲁金;瓦西里·沙金 10 2018 超一致性、超完整性和估价。 Zbl 0549.03023号 安德烈亚·洛帕里奇;牛顿·C·A·达·科斯塔。 10 1984 逻辑争议和先验的. Zbl 1380.03022号 牧师,格雷厄姆 10 2016 通过简单的相关性标准解决悖论。 Zbl 0622.03007号 保罗·温加特纳;格哈德·舒尔茨 9 1986 经典逻辑中的偏倚性和非单调性。 Zbl 0624.03022号 约翰·范·本特姆 9 1986 序列和二价。 Zbl 1043.03009号 珍妮·伊夫·贝齐奥 9 2001 将自适应逻辑的标准格式扩展到优先情况。 Zbl 1336.03042号 弗雷德里克·范德普特;克里斯蒂安·斯特拉瑟 9 2012 兴趣、论证方案和主题。 Zbl 1179.03011号 道格拉斯·沃尔顿;法布里西奥·麦加尼奥 9 2009 道义逻辑和祈使逻辑。 Zbl 0129.25801号 E.J.莱蒙。 9 1965 量子逻辑的一种规则序列演算,其中合取和析取是对偶的。 Zbl 0518.03029号 新泽西州卡特兰。;吉宾斯,P.F。 9 1982 什么是非正常世界? Zbl 0834.03002号 牧师,格雷厄姆 9 1992 后果关系的固定点。 Zbl 1380.03061号 托比·梅多斯 9 2014 次一致模态逻辑。 Zbl 1105.03024号 卢·高布尔 8 2006 从历史角度看超协调逻辑。 Zbl 0974.03029号 牛顿·C·A·达·科斯塔。;珍妮·伊夫·贝齐奥;奥塔维奥·布埃诺 8 1995 阻碍。逻辑动态方面的线索。 Zbl 0974.03008号 迪德里克·巴滕斯 8 1995 逻辑系统之间的翻译:宣言。 Zbl 0982.03006号 沃尔特·卡尼埃利。;德奥塔维亚诺,伊塔拉·玛丽亚·洛夫雷多 8 1997 时态逻辑和变化逻辑。 Zbl 0166.25202号 克利福德,J.E。 8 1966 形而上学解释和博尔扎诺的根据和结果理论。 Zbl 1244.03014号 阿里安娜·贝蒂 8 2010 后置逻辑的机械证明方法。 兹伯利0587.03007 或者鄂尔多斯卡 8 1985 语法逻辑。 Zbl 0728.03025号 路易斯·法利尼亚斯·德尔·塞罗;马蒂·彭顿 8 1988 按照达科斯塔的方法构建的逻辑。一: 按照达科斯塔的第一种方法构建的准一致、准完整、非古希腊逻辑。(Logiques construites suivant les méthodes de da Costa.I:逻辑paraconsistantes,paracompletes,non-aléthiques contruites suivant la première méhode de da Costo。) Zbl 0795.03029号 珍妮·伊夫·贝齐奥 7 1990 分辨率模态逻辑。 Zbl 0631.03007号 路易斯·法利尼亚斯·德尔·塞罗 7 1985 形式逻辑中的辩证动力学。 Zbl 0643.03006号 迪德里克·巴滕斯 7 1986 被告知的逻辑。 Zbl 1124.03003号 卢西亚诺·弗洛里迪 7 2006 估价理论。(估价方法) Zbl 0973.03012号 牛顿·C·A·达·科斯塔。;珍妮·伊夫·贝齐奥 7 1994 准真的概念。 Zbl 0976.03008号 奥塔维奥·布埃诺;埃德尔西奥·德索萨(Edelcio G.de Souza)。 7 1996 合成画面和色情搜索场景:扩展和提取。 Zbl 1047.03012号 马吕斯·乌尔班斯基 7 2001 量子逻辑中的因果关系和反事实:佐佐木钩子。 Zbl 1050.81004号 斯梅茨,索尼娅 7 2001 每个句子逻辑都有一个二值世界语义。 Zbl 0347.02016号 理查德·劳特利;罗伯特·梅耶(Robert K.Meyer)。 7 1976 相关蕴涵和射影几何。 Zbl 0557.03012号 阿拉斯代尔·厄克哈特 7 1983 直觉逻辑的图形深层推理系统。 Zbl 1457.03026号 马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 7 2019 真理制造者必需主义和最大主义。 Zbl 1084.03500号 罗斯·P·卡梅隆。 6 2005 可证明概率和置信函数。 兹比尔0799.03029 菲利普·斯梅茨 6 1991 二相道义逻辑。 Zbl 1028.03007号 范德托雷、伦德特;谭耀华 6 2000 时序道义逻辑的规范模型。 兹伯利0973.03023 帕特丽斯·白哈切 6 1995 蒙泰罗的卢卡西维奇·多内斯三重情人的定义(Sur les dédefinitions des algèbres trivalentes de Lukasiewicz donées par A.Monteiro)。 Zbl 0307.02040号 丹尼斯·贝奇奥 6 1973 一类多值逻辑的归结原理。 Zbl 0352.02017号 查尔斯·摩根。 6 1976 时态逻辑和标准逻辑。 Zbl 0392.03019号 范·本特姆,J.F.A.K。 6 1977 S4和S5的非相容公理。 Zbl 0169.30003号 H·蒙哥马利。;罗特利,R。 6 1968 Gentzen的Hauptsatz用于NI和NK系统。 Zbl 0178.31104号 安德烈斯·拉吉奥(Andrés R.Raggio)。 6 1965 正常非接触模态系统序列中的模态。 Zbl 0196.00902号 蒙哥马利,H。;罗特利,R。 6 1969 条件逻辑的惠誉式公式。 Zbl 0228.02016 里士满·H·托马森。 6 1970 数学推理和外部符号系统。 Zbl 1283.03017号 卡特里娜Dutilh Novaes 6 2013 图片能证明吗? 兹比尔1075.00003 伊恩·多夫 6 2002 组合子、BCK逻辑和BCK代数的结果。 Zbl 0574.03004号 M.W.邦德。;迈耶,R.K。 6 1985 Autologic公司。 Zbl 0584.03008号 查尔斯·摩根。 6 1985 分析推理和逻辑运算符的信息含义。 兹伯利1369.03037 达戈斯蒂诺,马塞洛 6 2014 元逻辑、元语言和逻辑几何。 Zbl 1482.03004号 洛伦兹·德米 5 2019 关于BCC-代数。 Zbl 0787.06017号 维斯·杜德克(Wiesław A.Dudek)。 5 1990 依赖逻辑的序列。 Zbl 0799.03032号 Fariñas del Cerro,L。;V·卢加登。 5 1991 严格有限主义是数学基础中一种可行的选择。 Zbl 0856.03003号 范本德根,让-保罗 5 1994 不一致自适应逻辑和非单调逻辑的基础。 Zbl 0856.03020号 迪德里克·巴滕斯 5 1994 信息流和不可能的情况。 Zbl 1118.03014号 Sebastian红杉-Grayson 5 2006 纯粹否定的立法理论。(纯粹立法。) Zbl 0973.03006号 珍妮·伊夫·贝齐奥 5 1994 多重含义、模糊性和缺失阿米巴虫的奇怪情况。 Zbl 0974.03507号 牧师,格雷厄姆 5 1995 模糊自适应逻辑。 Zbl 0976.03513号 圭多·瓦纳克尔 5 1997 来自不一致前提的煽动性论点。 Zbl 0999.03003号 Meheus,笑话 5 1999 关于归纳法的经典自适应逻辑。 兹比尔1047.03018 迪德里克·巴滕斯;列文·海瑟特 5 2001 隐含和相关含义。 Zbl 0186.00601号 罗伯特·梅耶(Robert K.Meyer)。 5 1968 规范逻辑和规范命题逻辑。 兹比尔0197.27601 阿尔乔伦,C.E。 5 1969 在超比例环境中进行透明量化德雷. Zbl 1336.03007号 玛丽·杜季;比约恩·杰斯珀森 5 2012 通过自适应地限制继承来容忍义务冲突。 Zbl 1288.03018号 克里斯蒂安·斯特拉瑟;贝伦,马修;Meheus,笑话 5 2012 真实逻辑。 Zbl 0694.03006号 冯·赖特,乔治·亨里克 5 1987 说谎者悖论。 Zbl 0527.03001号 克里斯·莫滕森;牧师,格雷厄姆 5 1981 重叠概念的一些结构和逻辑方面。 Zbl 0832.03007号 劳埃德·亨伯斯通 5 1992 次协调逻辑(C1)的新结果和新观点。(新政府和新政府认为逻辑上的不一致性(C1)。) Zbl 0843.03013号 让·伊夫·贝齐奥 5 1993 矛盾、量子力学和对立的正方形。 Zbl 1368.81018号 乔纳斯·R·贝克尔·阿伦哈特。;德西奥·克劳斯 5 2016 逻辑中对逻辑连接词极简主义的口头争议。 Zbl 1369.03048号 托马斯·奥利·霍特兰 5 2014 不要基于合理性模型来计划意外的计划。 Zbl 1362.68263号 米克尔·比凯加德·安徒生(Mikkel Birkegaard Andersen);托马斯·博兰德;马丁·霍尔姆·延森 5 2015 高阶模态逻辑的Topos语义。 Zbl 1364.03092号 史蒂夫·阿沃迪;Kohei的Kishida;汉斯·克里斯托夫·科兹奇 5 2014 不是这样,但会是吗? Zbl 1084.03503号 克里斯·莫滕森 4 2005 关于反对方模态的亚里士多德根。 兹伯利07686235 基登斯、克利斯朵夫;洛伦兹·德米 2 2021 关于线性存在图。 Zbl 1508.03015号 弗朗西斯科·贝鲁奇;刘新文;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 2 2020 用于几种接地类型的基于证明的框架。 Zbl 1508.03029号 弗朗西丝卡·波乔列西 2 2020 势力范围。皮尔斯、弗雷格、卡罗尔和双边证明树。 Zbl 1508.03014号 戴夫·贝塞克 1 2020 通道——表示系统中物化的理论解释。 Zbl 1508.03032号 Atsushi岛岛岛;Barker-Plummer,戴夫 1 2020 可决定性和符号。 Zbl 1508.03019号 蒂姆·兰伯特 1 2020 选择包含Routey和Meyer逻辑B的Kleene强逻辑的所有三值蕴涵展开式的类。 Zbl 1508.03059号 杰玛·罗伯斯;洛佩斯,桑德拉·M。 1 2020 直觉逻辑的图形深层推理系统。 Zbl 1457.03026号 马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 7 2019 元逻辑、元语言和逻辑几何。 Zbl 1482.03004号 洛伦兹·德米 5 2019 一阶逻辑中的术语否定。 Zbl 1486.03017号 伊戈尔·塞德拉尔;什贝拉,卡雷尔 2 2019 通用性和任意性。 Zbl 1482.03010号 乔治·文丘里 1 2019 多值逻辑中的透明真值谓词。 Zbl 1435.03046号 尼西姆·弗朗西兹;迈克尔·卡明斯基 1 2019 公理形式系统中的演绎。 Zbl 1451.03022号 埃德尔西奥·德索萨(Edelcio G.de Souza)。;亚历山大·科斯塔·莱特;迪亚斯,迪奥戈·H·B。 1 2019 关于离散时空的性质。离散时空中的距离公式、相对论时间膨胀和长度矛盾。 兹比尔1434.83096 大卫·克劳斯;约瑟夫·斯科夫卡 1 2019 参数逻辑常数的证明理论语义。 Zbl 1471.03078号 尼西姆·弗朗西兹 1 2019 以自然演绎为特征的自然三值逻辑。 Zbl 1430.03046号 雅罗斯拉夫·彼得鲁金;瓦西里·沙金 10 2018 比较时态STIT逻辑的语义。 兹比尔1436.03121 罗伯托·齐尼;埃米利亚诺·洛里尼 4 2018 比较一阶逻辑中的经典运动学和相对论运动学。 Zbl 1436.03097号 科恩Lefen;谢凯利(Székely,Gergely) 三 2018 逻辑多元论和逻辑形式。 Zbl 1436.03080号 尼科尔·怀亚特;吉尔曼·佩耶特 2 2018 关于构造公理方法。 Zbl 1436.03314号 安德烈·罗丁 2 2018 E的自然演绎系统。 Zbl 1436.03145号 肖恩·斯坦德弗;罗斯·T·布雷迪。 1 2018 将统一责任强加给集体行动的后果。 Zbl 1436.03064号 吉尔曼·佩耶特 1 2018 二元论框架下的有效性。 Zbl 1417.03195号 费德里科·佩洛斯;迭戈·塔杰尔 4 2017 预设和两种否定。 Zbl 1417.03212号 玛丽·杜兹 三 2017 关于区分证明理论的结果和可导性。 Zbl 1417.03279号 尼西姆·弗朗西兹 2 2017 弱本质与强偶然的逻辑。 Zbl 1403.03034号 潘天群;杨春贵 1 2017 类比论证的逻辑和语用结构。 Zbl 1384.03055号 法布里西奥·麦加尼奥 1 2017 描述数学中的特性和解释。 1390.00050兹罗提 约瑟芬·萨尔弗达 1 2017 数学解释的准干预主义理论。 Zbl 1390.00046号 维克托·吉斯贝尔斯 1 2017 扩展和应用语用学逻辑。 兹比尔1417.03208 马西米利亚诺·卡拉拉;丹妮尔·奇菲;西罗·德弗洛里奥 1 2017 双边主义绕道而行:从直觉主义到经典逻辑,然后再回来。 Zbl 1417.03081号 库尔比斯,尼尔斯 1 2017 逻辑争议和先验的. Zbl 1380.03022号 牧师,格雷厄姆 10 2016 矛盾、量子力学和对立的正方形。 Zbl 1368.81018号 乔纳斯·R·贝克尔·阿伦哈特。;德西奥·克劳斯 5 2016 天主教手中的反对广场:20世纪逻辑史上的一章。 Zbl 1380.03005号 丹尼·贾斯珀斯;Pieter A.M.塞伦。 4 2016 经典命题逻辑插值性质的非经典改进。 Zbl 1396.03047号 彼得·米尔恩 2 2016 逻辑形式化和逻辑的形成。 Zbl 1384.03062号 雅罗斯拉夫·佩雷格林;弗拉迪米尔·斯沃博达 2 2016 亚勃罗悖论是模态逻辑的一个定理。 Zbl 1396.03031号 托马斯·福斯特;拉杰夫·戈雷 1 2016 通过血腥的柏拉图主义,以及准一致主义者可以在那里找到什么。 Zbl 1380.03013号 路易斯·埃斯特拉达·冈萨雷斯 1 2016 通过范畴理论从语言学到道义逻辑。 Zbl 1396.03036号 克莱顿·彼得森 1 2016 融合运算。 Zbl 1478.03080号 杰弗里·凯特兰;汤马斯·辛德勒 1 2016 形式哲学和法律推理是法律推理的有效性。 Zbl 1384.03064号 克莱顿·彼得森;Jean-Pierre侯爵 1 2016 无限期彩票的超级任务。 Zbl 1381.60009号 Kerkvliet,木材 1 2016 Church集合论的一种变体,具有一个泛集合,其中单粒子函数是一个集合。 Zbl 1521.03210号 Sheridan,闪电侠 1 2016 不要基于合理性模型来计划意外的计划。 Zbl 1362.68263号 米克尔·比凯加德·安徒生(Mikkel Birkegaard Andersen);托马斯·博兰德;马丁·霍尔姆·延森 5 2015 改变方式的逻辑。 兹比尔1371.03021 科杜拉,托泽卡;约翰·泽尔马克 三 2015 关于集合的某些原理的数学对应物。 Zbl 1373.03111号 拉法·格鲁什琴斯基 2 2015 惊喜的动力。 Zbl 1373.03046号 洛伦兹·德米 2 2015 自适应逻辑叠加的证明理论。 Zbl 1373.03040号 克里斯蒂安·斯特拉;范德普特,弗雷德里克 2 2015 Ockhamism和量化模态逻辑。 Zbl 1372.03034号 安德烈亚·伊科纳 1 2015 现实、量词和现实量词。 Zbl 1371.03024号 大卫·R·吉尔伯特。 1 2015 公共知识:有限微积分与句法删减程序。 Zbl 1373.03019号 弗朗西丝卡·波乔列西;布莱恩·希尔 1 2015 后果关系的固定点。 Zbl 1380.03061号 托比·梅多斯 9 2014 分析推理和逻辑运算符的信息含义。 Zbl 1369.03037号 D’马塞洛·阿戈斯蒂诺 6 2014 逻辑中的言语争议反对逻辑连接词的极简主义。 Zbl 1369.03048号 托马斯·奥利·霍特兰 5 2014 高阶模态逻辑的Topos语义。 Zbl 1364.03092号 史蒂夫·阿沃迪;Kohei的Kishida;汉斯·克里斯托夫Kotzsch 5 2014 从逻辑术语到语义约束的逻辑形式性。 Zbl 1369.03074号 吉尔·萨吉 4 2014 逻辑不确定性。 兹比尔1369.03087 杰克·伍兹 4 2014 从二元论的角度看逻辑结果和条件句。 Zbl 1369.03032号 马西米利亚诺·卡拉拉;恩里科·马蒂诺 三 2014 多元归纳逻辑中的不变性原理。 Zbl 1373.03028号 塔赫勒·罗内尔;阿莱纳·芬科夫斯卡 三 2014 概率合并运算符。 Zbl 1372.03044号 马丁·亚当契克;乔治·威尔默斯 三 2014 逻辑常量的语义极简。 Zbl 1369.03066号 弗朗西斯科·保利 2 2014 评估:真实性论题的论据。 Zbl 1310.03016号 希尔米·德米尔 1 2014 在对话中探究探究语用学中的建模。 Zbl 1372.03053号 雅辛·哈马米 1 2014 数学推理和外部符号系统。 Zbl 1283.03017号 卡特里娜Dutilh Novaes 6 2013 实事求是者悖论。 Zbl 1323.03001号 亚历山大·比隆 2 2013 数学中的模态。 Zbl 1284.00040号 威尔弗里德·霍奇斯 1 2013 写作原因。 Zbl 1283.03023号 丹妮尔·麦克白 1 2013 将自适应逻辑的标准格式扩展到优先情况。 Zbl 1336.03042号 范德普特,弗雷德里克;克里斯蒂安·斯特拉瑟 9 2012 透明量化到超命题上下文中德雷. Zbl 1336.03007号 玛丽·杜季;比约恩·杰斯珀森 5 2012 通过自适应限制继承来容忍道义冲突。 Zbl 1288.03018号 克里斯蒂安·斯特拉瑟;贝伦,马修;梅赫乌斯,笑话 5 2012 Belnap逻辑的一种微积分,其中每个证明都由两棵树组成。 Zbl 1301.03058号 斯特凡·温斯坦;马斯肯斯,莱因哈德 4 2012 基于意义包含逻辑的算术一致性。 Zbl 1336.03006号 罗斯·T·布雷迪。 4 2012 关于分析的重要性。证明逻辑的典型案例。 Zbl 1283.03089号 弗朗西丝卡·波乔列西 4 2012 通过翻译确保安全。 Zbl 1283.03056号 马塞尔·克拉贝 三 2012 割伤、臀大肌和间隙。 Zbl 1283.03088号 文森特·德高基尔 2 2012 命题和关系三段论。 Zbl 1279.03032号 罗伯特·范·罗伊 2 2012 一种上下文类型理论,具有从开放假设进行推理的判断方式。 Zbl 1286.03112号 朱塞佩·普里米埃罗 1 2012 对象、结构和形式。 Zbl 1284.03080号 吉安路易吉·奥利维里 1 2012 这可能是经典逻辑。 Zbl 1283.03054号 迪德里克·巴滕斯 1 2012 从和解的拓扑结构到矛盾的逻辑。(调解的拓扑,矛盾的逻辑。) Zbl 1336.03040号 D.兰伯特。;赫斯佩尔,B。 1 2012 双重性岩石上的超稠性。 Zbl 1266.03003号 康拉德·阿斯穆斯 1 2012 拉卡托启发式的一种形式化方法。 兹比尔1266.03004 堪萨斯州巴什肯特 1 2012 对Westerstáhl的回应。 Zbl 1266.03005号 Hanoch Ben-Yami 1 2012 解释量词限制:回复Ben-Yami。 兹伯利1266.03014 达格·韦斯特斯特尔 1 2012 模态逻辑的一种新的四值方法。 Zbl 1228.03003号 珍妮·伊夫·贝齐奥 17 2011 模态知识和反事实知识。 Zbl 1261.03048号 索尼娅·罗伊斯 4 2011 带有强烈否定的建构性话语逻辑。 Zbl 1260.03055号 精木赤山;亚伯、杰尔·米诺罗;中松,川美 2 2011 Hyperreal期望公用事业和Pascal的赌注。 Zbl 1238.03013号 弗雷德里克·赫茨伯格 2 2011 信念、正确性和规范性。 Zbl 1244.91081号 戴维·法西奥 1 2011 在包含自己的不圆谓词的语言上。 Zbl 1270.03025号 斯特凡·温斯坦 1 2011 不完全信任的道义推理。 Zbl 1258.03023号 马丁·莫斯(Martin Mose Bentzen) 1 2011 主论点的三值情态时态逻辑。 Zbl 1244.03012号 精木赤山;Tetsuya村井;宫本,萨达基 1 2011 希尔伯特程序和应用证明理论。 Zbl 1231.03049号 Yvon Gauthier 1 2011 基础和真理功能。 Zbl 1253.03028号 Fabrice科雷亚 39 2010 形而上学解释和博尔扎诺的根据和结果理论。 Zbl 1244.03014号 阿丽亚娜·贝蒂 8 2010 实时的模态谓词逻辑。 Zbl 1206.03021号 克雷斯韦尔,M.J。 2 2010 用于解决模糊悖论的某种结果关系。 Zbl 1210.03013号 Krystyna米修娜 2 2010 纠缠、论证方案和主题。 Zbl 1179.03011号 道格拉斯·沃尔顿;法布里西奥·麦加尼奥 9 2009 Leitgeb“关于”Yablo。 Zbl 1189.03010号 拉法·乌尔巴尼亚克 4 2009 关于可废止逻辑的透明性:等价前提集,它们的扩展的等价性,以及下限的极大性。 Zbl 1190.03002号 迪德里克·巴滕斯;克里斯蒂安·斯特拉瑟;彼得·弗代尔 4 2009 …还有322个文档 所有引用出版物 前5名被引用出版物 全部的 前5名1125位作者引用 20 杰玛·罗伯斯 16 迪德里克·巴滕斯 16 何塞·梅恩德斯。 13 珍妮·伊夫·贝齐奥 13 范洁 11 Leszczyńska Jasion,多罗塔 11 雅罗斯拉夫·伊戈列维奇·彼得鲁金 11 弗朗西丝卡·波乔列西 11 牧师,格雷厄姆 10 罗斯·托马斯·布雷迪 10 沃尔特·亚历山大·卡尼埃利 10 海因里希·西奥多 9 劳埃德·亨伯斯通 9 彼得·弗代尔 9 安德烈·维希·涅夫斯基 8 阿诺·阿夫隆 8 洛伦兹·德米 8 罗伯特·肯尼思·梅耶 7 爱德华多·亚历杭德罗·巴里奥 7 马塞洛·埃斯特班(Marcelo Esteban Coniglio) 7 迪迪埃·杜布瓦 7 大森,Hitoshi 7 阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 7 普利乌什凯维奇乌斯,里贾曼塔斯 7 肖恩·斯坦德弗 7 克里斯蒂安·斯特拉瑟 6 精木赤山 6 贝伦,马修 6 马西米利亚诺·卡拉拉 6 瓦伦丁·F·戈兰科。 6 亚历山大·库克里克(Alexander W.Kocurek)。 6 埃德温·马雷斯(Edwin D.Mares)。 6 谢尔盖·奥丁佐夫。 6 家长,Xavier 6 戴维·里普利 6 洛伦佐·保罗·罗西 6 理查德·西尔文 6 瓦西里·沙金 6 阿拉斯代尔·厄克哈特 6 汉斯·皮特 6 斯特凡·温斯坦 6 徐,杨 5 何塞·卡洛斯·罗德里格斯·阿尔坎图德 5 阿洛,帕特里克 5 罗马斯·阿隆德里斯 5 堪萨斯州巴什肯特 5 比姆博,卡塔林 5 克雷斯韦尔·麦克斯韦尔·约翰 5 丁科·迪米特洛夫 5 乔恩·迈克尔·邓恩 5 路易斯·埃斯特拉达·冈萨雷斯 5 托马斯·麦考利·弗格森 5 安德烈亚斯·赫齐格 5 莱昂·霍斯顿 5 诺里希罗·卡米德 5 帕韦·乌普科夫斯基 5 乔安·马科斯 5 费德里科·马蒂亚斯·佩洛斯 5 弗朗西斯科·保利 5 朱塞佩·普里米埃罗 5 加布里埃尔·普奇尼 5 阿比利奥·罗德里格斯 5 萨拉、撒哈拉 5 马吕斯·乌尔班斯基 5 van Benthem,Johan F.A.K。 5 范德普特,弗雷德里克 4 奥塔维奥·布埃诺 4 卡洛斯·卡莱罗 4 希蒙·克莱博夫斯基 4 Fabrice科雷亚 4 德阿劳霍·费托萨(de Araujo Feitosa)、赫鲁克利斯(Hércules) 4 德奥塔维亚诺,伊塔拉·洛夫雷多 4 玛丽·杜兹 4 法语、罗汉语 4 卢·高布尔 4 艾伦·P·黑森(Allen P.Hazen)。 4 比约恩·杰斯珀森 4 比塔·科尼科夫斯卡 4 李彦军 4 刘军 4 洛佩斯,桑德拉·M。 4 马明辉 4 雷因哈德·马斯肯斯(Reinhard A.Muskens)。 4 弗朗西斯·杰弗里·佩利蒂埃 4 亨利·普拉德。 4 丹尼尔·罗内达尔 4 阮,达 4 雅罗斯拉夫·什兰科。 4 达米安·恩里克·斯穆克 4 阿拉德·M·塔明加。 4 田中,Koji 4 费尔南多·托梅。 4 拉法·乌尔巴尼亚克 4 乔治·文丘里 4 王燕京 4 Lotfi Asker扎德 三 恩里克·安图内斯 三 奥奎斯特,伦纳德 三 乔纳斯·拉斐尔·贝克尔·阿伦哈特 三 奥费尔·阿列利 …还有1025名作者 全部的 前5名128种期刊被引用 142 合成 139 哲学逻辑杂志 112 Studia Logica公司 50 泛逻辑 43 圣母院形式逻辑杂志 42 逻辑与逻辑哲学 35 应用非经典逻辑杂志 35 符号逻辑述评 28 应用逻辑杂志 22 逻辑、语言与信息杂志 19 理论计算机科学 15 纯逻辑与应用逻辑年鉴 13 人工智能 13 逻辑科公报 13 逻辑历史与哲学 12 信息科学 11 以色列数学杂志 11 国际近似推理杂志 11 符号逻辑公报 11 埃尔肯特尼斯 11 科学基础 10 数学社会科学 10 自动推理杂志 10 数学逻辑季刊(MLQ) 10 Logicheskie Issledovaniya逻辑 8 国际理论物理杂志 8 理论与决策 8 社会选择与福利 8 数学逻辑档案 7 符号逻辑杂志 7 托波伊 6 模糊集与系统 5 语言学与哲学 5 软计算 4 Archive für Mathematische Logik und Grundlagenforschung公司 4 塞贡达·埃波卡 4 Indagationes Mathematicae公司。新系列 4 数学与人工智能年鉴 4 摘要与应用分析 4 程序设计中的逻辑和代数方法杂志 三 计算机与数学及其应用 三 代数与逻辑 三 代数普遍性 三 美国数学学会会刊 三 游戏与经济行为 三 物理学基础 三 诺尔斯 三 Lietuvos Matematikos林基尼。立陶宛数学学会会刊。系列A 2 信息处理信件 2 代数杂志 2 经济理论杂志 2 数学经济学杂志 2 美国数学学会会刊 2 西伯利亚数学杂志 2 分类杂志 2 国际智能系统杂志 2 美国数学学会杂志 2 计算的形式方面 2 数学科学杂志(纽约) 2 密苏里州数学科学杂志 2 科学史与哲学研究。第二部分现代物理学的历史与哲学研究 1 信息学报 1 精密科学史档案 1 Semesterberichte数学 1 混沌、孤子和分形 1 数学进展 1 克莱蒙费兰德大学年鉴2。数学竞赛 1 数学评论Helvetici 1 数学合成 1 杜克数学杂志 1 泛函分析及其应用 1 国际数学与数学科学杂志 1 国际博弈论杂志 1 国际工程数值方法杂志 1 组合理论杂志。系列A 1 纯粹与应用代数杂志 1 苏联数学杂志 1 统计规划与推断杂志 1 凯贝内提卡 1 数学期刊 1 京都大学数学科学研究所出版物 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 帕多瓦大学Rendiconti del Seminario Matematico della Universityádi Padova 1 符号计算杂志 1 信息与计算 1 数学和计算机建模 1 经济学快报 1 MSCS公司。计算机科学中的数学结构 1 应用科学中的数学模型与方法 1 数学史 1 美国数学学会公报。新系列 1 计算统计与数据分析 1 结理论杂志及其分歧 1 新西兰数学杂志 1 图卢兹科学学院年鉴。数学题。塞里六世 1 系统设计中的形式化方法 1 应用的分类结构 1 国际现代物理杂志D 1 经济理论 1 菲洛马 …还有28种期刊 全部的 前5名47个领域被引用 1,063 数学逻辑和基础(03-XX) 164 计算机科学(68至XX) 65 历史和传记(01-XX) 65 博弈论、经济学、金融和其他社会和行为科学(91-XX) 54 总体主题;集合(00-XX) 33 阶、格、有序代数结构(06-XX) 24 量子理论(81-XX) 15 概率论与随机过程(60-XX) 13 群论与推广(20-XX) 9 范畴理论;同调代数(18-XX) 8 数论(11-XX) 7 组合数学(05-XX) 7 一般拓扑结构(54-XX) 7 统计学(62-XX) 7 数学教育(97-XX) 6 一般代数系统(08-XX) 6 信息与通信理论、电路(94-XX) 5 结合环与代数(16-XX) 5 功能分析(46倍X倍) 5 相对论和引力理论(83至XX) 4 算子理论(47-XX) 4 几何图形(51至XX) 三 动力系统和遍历理论(37至XX) 三 代数拓扑(55-XX) 2 场论和多项式(12-XX) 2 拓扑群、李群(22日至XX日) 2 测量和集成(28-XX) 2 粒子和系统力学(70-XX) 2 运筹学、数学规划(90-XX) 2 系统论;控制(93至XX) 1 交换代数(13-XX) 1 代数几何(14-XX) 1 实函数(26年X月X日) 1 复变量的函数(30年XX月) 1 几个复变量和分析空间(32-XX) 1 差分和函数方程(39至XX) 1 积分方程(45-XX) 1 变分法与最优控制;最优化(49至XX) 1 凸和离散几何(52至XX) 1 微分几何(53至XX) 1 流形和细胞复合体(57至XX) 1 数值分析(65-XX) 1 可变形固体力学(74-XX) 1 光学、电磁理论(78-XX) 1 统计力学,物质结构(82-XX) 1 天文学和天体物理学(85-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文