泛逻辑 简短标题: 日志。Univers大学。 出版商: 施普林格(Birkhäuser),巴塞尔 国际标准编号: 1661-8297; 1661-8300/年 在线: https://link.springer.com/journal/11787/volumes-and-issues链接 评论: 期刊;索引封面到封面 已编制索引的文档: 361出版物(自2007年起) 索引的引用: 314出版物参考文献10594。 全部的 前5名最新问题 17,编号4(2023) 17,编号3(2023) 17,编号2(2023) 17,编号1(2023) 16,编号4(2022) 16,第3期(2022) 16,编号1-2(2022) 15,编号4(2021) 15,编号3(2021) 15,编号2(2021) 15,编号1(2021) 14,第4期(2020年) 14,第3期(2020年) 14,第2期(2020年) 14,第1期(2020年) 13,第4号(2019) 13,第3号(2019) 132019年第2期 132019年第1期 12,第3-4号(2018) 12,第1-2号(2018) 112017年第4号 112017年第3号 112017年第2期 112017年第1期 102016年第4号 102016年第2-3号 10,第1号(2016) 92015年第4号 92015年第3期 92015年第2期 92015年第1期 8,编号3-4(2014) 82014年第2期 82014年第1期 72013年第4号 72013年第3期 72013年第2期 72013年第1期 6,第3-4号(2012) 62012年第1-2号 5,第2号(2011年) 52011年第1期 42010年第2期 42010年第1期 三2009年第2期 三2009年第1期 22008年第2期 22008年第1期 12007年第2期 12007年第1期 全部的 前5名作者 9 珍妮·伊夫·贝齐奥 6 尼西姆·弗朗西兹 6 阿列克谢·于穆拉维茨基(Alexei Yu Muravitsky)。 5 欧文·亨利·安妮莉斯 5 查克拉博蒂,米希尔·库马尔 5 亚历克斯·西特金 5 Dov M.加巴伊。 4 阿诺·阿夫隆 4 马塞洛·埃斯特班(Marcelo Esteban Coniglio) 4 乔恩·迈克尔·邓恩 4 贾科·辛提卡 4 诺里希罗·卡米德 4 沃尔夫冈·伦岑 4 雅罗斯拉夫·伊戈列维奇·彼得鲁金 4 克劳迪奥·埃尔科尔·安东尼奥·皮齐 4 安德鲁·舒曼 4 汉斯·斯梅萨特 三 乔纳斯·拉斐尔·贝克尔·阿伦哈特 三 比姆博,卡塔林 三 卡洛斯·卡莱罗 三 萨卢阿查蒂 三 洛帕穆德拉·乔杜里 三 拉兹万·迪亚科内斯库 三 迈克尔·卡明斯基 三 延斯·莱曼斯基 三 斯特芬·列维茨卡 三 蒂尔·莫萨科夫斯基 三 亨利·普拉德。 三 乔安·拉斯加 三 克里斯蒂娜·塞尔纳达斯。 三 托马斯·斯库拉。 三 Wybraniec-Skardowska,Urszula B。 2 纳撒内尔·利多姆·阿克曼 2 马克·艾吉尔 2 帕维尔·阿拉齐姆 2 雅各布·阿尔坎鲍尔 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 巴塔查吉,里图 2 朱莉·布伦贝·乔蒙特 2 布伦纳,安德烈亚斯·伯恩哈德·迈克尔 2 朱莉安娜·布埃诺·索勒 2 沃尔特·亚历山大·卡尼埃利 2 洛伦兹·德米 2 Jean-Pierre Descés 2 安东尼诺·德拉戈 2 迪迪埃·杜布瓦 2 多米尼克·杜瓦尔 2 路易斯·埃斯特拉达·冈萨雷斯 2 马蒂厄·方丹 2 丹尼尔·加恩 2 约翰·格兰特。 2 盖伊·哈梅林 2 赫里萨菲斯·哈托纳斯 2 亚历杭德罗·埃尔南德斯·泰罗 2 米哈伊尔·卡茨(Mikhail G.Katz)。 2 杰弗里·凯特兰 2 马特乌斯·克洛诺夫斯基 2 库德雷克,塔拉斯S。 2 塞尔吉奥·马塞利诺 2 阿莱西奥·莫雷蒂 2 佩特拉·穆里诺娃 2 牛顿,马奎斯·佩隆 2 法比奥·帕斯夸利 2 埃内斯托·佩里尼·桑托斯 2 田佩尔科夫 2 伊沃·佩兹拉 2 阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 2 阿列克谢·潘科(Alexej P.Pynko)。 2 詹姆·拉莫斯 2 阅读,斯蒂芬 2 杰玛·罗伯斯 2 罗德里格斯,奥迪纳多·T·。 2 Fabien Schang先生 2 阿米尔卡·塞尔纳达斯。 2 里卡多·索萨·西尔维斯特 2 托马斯·施图德 2 安德烈·塔莱基 2 詹姆斯·特拉福德 2 马钦·特雷普琴斯基 2 伊万·约瑟·瓦尔津扎克 2 卢卡·维甘诺 2 沃伦斯基,简 2 杨恩斯克 1 Francine F.阿贝莱斯。 1 Andrew I.Adamatzky。 1 阿德莱西奇,锡 1 莫伊塔巴·阿盖伊 1 阿古德洛·阿古德罗,胡安·C。 1 阿巴斯·阿赫桑 1 穆萨·阿克拉米 1 克里斯蒂安·阿隆索·斯坦伯格 1 恩里克·阿尔瓦雷兹·丰特西拉(Enrique Alvarez-Fontecilla) 1 伊格纳西奥·安杰利利 1 恩里克·安图内斯 1 维克托·阿兰达 1 彼得·F·阿恩特。 1 阿拉佐拉·拉米雷斯(Arrazola Ramírez)、何塞·拉蒙·恩里克(JoséRamón Enrique) 1 纪尧姆拍卖行 1 菲尔·艾尔斯 1 阿齐齐·苏尔坦、艾哈迈德·沙赫 …还有264位作者 全部的 前5名领域 347 数学逻辑和基础(03-XX) 69 历史和传记(01-XX) 28 总体主题;集合(00-XX) 27 计算机科学(68至XX) 18 范畴理论;同调代数(18-XX) 15 阶、格、有序代数结构(06-XX) 6 博弈论、经济学、金融和其他社会和行为科学(91-XX) 5 量子理论(81-XX) 4 一般代数系统(08-XX) 三 组合数学(05-XX) 三 几何图形(51至XX) 2 实际功能(26年X月X日) 2 一般拓扑结构(54至XX) 1 数论(11-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 拓扑群、李群(22日至XX日) 1 算子理论(47-XX) 1 统计学(62-XX) 1 生物学和其他自然科学(92-XX) 1 信息与通信理论、电路(94-XX) 1 数学教育(97-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 238出版物有被引用1070中的次661文件 引用人▼ 年份▼ 自适应逻辑的通用逻辑方法。 Zbl 1116.03019号 迪德里克·巴滕斯 44 2007 与传统的对立方格正确的事情。 Zbl 1140.03301号 特伦斯·帕森斯 43 2008 六边形的幂。 Zbl 1272.03008号 珍妮·伊夫·贝齐奥 42 2012 从布兰奇概念的六边形组织到形式概念分析和可能性理论。 Zbl 1272.03015号 迪迪埃·杜布瓦;亨利·普拉德 42 2012 “设置”\(n\)-反对。 Zbl 1156.03021号 雷吉斯·佩利西尔 33 2008 构成数学基础的商补全。 Zbl 1288.03049号 玛丽亚·艾米莉亚·梅埃蒂;朱塞佩·罗索里尼 28 2013 关于逻辑关系的三维可视化。 Zbl 1255.03032号 汉斯·斯梅萨特 26 2009 从类比比例到逻辑比例。 Zbl 1323.03011号 亨利·普拉德;理查德·吉尔斯 23 2013 具有广义有限值语义的逻辑的无割普通序列计算。 Zbl 1118.03049号 阿诺·阿夫隆;乔纳森·本·奈姆;比塔·科尼科夫斯卡 23 2007 标准道义逻辑的几何学。 兹比尔1255.03031 阿莱西奥·莫雷蒂 18 2009 逻辑图的形而上学装饰。 Zbl 1384.03023号 洛伦兹·德米;汉斯·斯梅萨特 18 2016 简单类型理论中的量化多模态逻辑。 Zbl 1334.03014号 克里斯托夫·本兹穆勒;劳伦斯·C·鲍尔森。 18 2013 积极的约翰逊理论。 Zbl 1456.03060号 布鲁诺·波扎特;叶什凯耶夫,艾巴特 16 2018 从地形学角度看弗雷塞的建构。 Zbl 1335.03073号 奥利维亚·卡拉梅尔 15 2014 什么是逻辑翻译? Zbl 1255.03023号 蒂尔·莫萨科夫斯基;拉兹万·迪亚科内斯库;安德烈·塔莱基 15 2009 非经典逻辑中的证明和反模型。 Zbl 1339.03046号 萨拉·内格里 14 2014 亚里士多德正方形的逻辑扩展。 Zbl 1138.03314号 多米尼克·卢梭;让·萨兰廷;克里斯托弗·达特内尔 14 2008 逻辑之间转换的新维度。 Zbl 1255.03029号 沃尔特·卡尼埃利。;马塞洛·科尼格里奥(Marcelo E.Coniglio)。;伊塔拉·M·L·D’Ottaviano。 13 2009 逻辑和色彩。 Zbl 1272.03029号 丹尼·贾斯珀斯 12 2012 三值逻辑的广义对应分析。 Zbl 1435.03047号 雅罗斯拉夫·彼得鲁金 11 2018 广义定义反射和反演原理。 Zbl 1138.03044号 施罗德-海斯特 11 2007 为什么是逻辑六边形? Zbl 1272.03036号 阿莱西奥·莫雷蒂 11 2012 阿贝尔逻辑和点格序簇逻辑。 兹伯利1162.03036 弗朗西斯科·保利;马修·斯宾克斯;罗伯特·弗罗夫 10 2008 安德森-哈耶克本体论争议的计算机辅助分析。 Zbl 1417.03131号 Benzmüller,C。;利昂·韦伯;布鲁诺沃尔岑洛格尔古 10 2017 古典亚里士多德六边形与现代对偶六边形。 Zbl 1280.03009号 汉斯·斯梅萨特 10 2012 逻辑有效性没有悖论。 Zbl 1330.03030号 罗伊·T·库克。 9 2014 模糊自然逻辑中的三段论和带有中间量词的五方对立。 Zbl 1396.03061号 佩特拉·穆里诺娃;维勒姆诺瓦克 9 2016 模态多点阵逻辑。 Zbl 1404.03018号 诺里希罗·卡米德;雅罗斯拉夫·什兰科 9 2017 一个新的模态Lindström定理。 Zbl 1118.03012号 约翰·范·本特姆 8 2007 反驳理论。 Zbl 1255.03024号 托马斯·斯科拉 8 2009 卡纳普、戈根和超本体:本体设计中的逻辑多元主义和异质结构。 Zbl 1255.68153号 奥利弗·库茨;蒂尔·莫萨科夫斯基;多米尼克·吕克 8 2010 Płonka和的二重性。 Zbl 1523.08001号 斯特凡诺·邦齐奥 7 2018 机构中的Birkhoff完整性。 Zbl 1179.03069号 米海·Codescu;戈因纳,丹尼尔 7 2008 自扩展三值次协调逻辑。 兹比尔1420.03042 阿诺·阿夫隆 7 2017 Fitting四值推广Kleene逻辑的自然演绎。 Zbl 1385.03032号 雅罗斯拉夫·彼得鲁金。 7 2017 概率论证:一种方程式方法。 Zbl 1337.68241号 D.M.加巴伊。;罗德里格斯州。 7 2015 数值论证网络中的平衡状态。 Zbl 1346.68185号 D.M.加巴伊。;罗德里格斯州。 7 2015 一种强大而丰富的四值模态逻辑,没有Łukasiewicz型悖论。 兹比尔1373.03026 何塞·梅恩德斯。;杰玛·罗伯斯 7 2015 从矛盾中解放矛盾。 Zbl 1373.03039号 乔纳斯·R·贝克尔·阿伦哈特。 7 2015 关于双结果运算。 Zbl 1264.03038号 乌苏拉州Wybraniec-Skardowska;贾塞克·沃尔德马赫 7 2011 阿道夫·林登鲍姆(Adolf Lindenbaum):关于他的生平的笔记,以及参考书目和精选参考文献。 Zbl 1306.01023号 詹·齐格蒙特;罗伯特·珀迪 6 2014 关于保存。 Zbl 1131.03010号 吉尔曼·佩耶特;彼得·斯科奇(Peter K.Schotch)。 6 2007 通过不相容性将矛盾从矛盾中分离出来。 Zbl 1384.03016号 Jean-Yves贝齐奥 6 2016 一些正规模态逻辑的一般Lindström定理。 Zbl 1345.03035号 塞巴斯蒂安·恩奎斯特 6 2013 对立和比较的结构:布尔型和渐变型。 Zbl 1432.68458号 迪迪埃·杜布瓦;亨利·普拉德;阿涅斯·里科 6 2020 一些基本和模态布尔连接逻辑的公理化。 Zbl 07462130号 马特乌斯·克洛诺夫斯基 6 2021 确定对象的逻辑(LDO):如何用“内涵”表达“外延”,用“概念”表达“对象”。 兹比尔1272.03075 Jean-Pierre Descés;安卡·帕斯库 6 2011 哥德尔三值逻辑及其次一致对应项的Routey-Meyer语义。 Zbl 1323.03022号 罗伯斯,杰玛 5 2013 朝向更一般的推理概念。 Zbl 1339.03047号 伊沃·佩兹拉 5 2014 从原纤化到隐纤化。塌陷问题的解决方案。 兹比尔1116.03009 卡洛斯·卡莱罗;詹姆·拉莫斯 5 2007 抽象逻辑、逻辑映射和逻辑同态。 Zbl 1131.03006号 斯特芬·列维茨卡 5 2007 正交格和De Morgan格的函数对偶性。 Zbl 1132.03034号 比姆博,卡塔林 5 2007 对立广场的可视化。 Zbl 1138.03320号 彼得·伯恩哈德 5 2008 亚里士多德的立方体和相应的含义。 Zbl 1144.03017号 克劳迪奥·皮齐 5 2008 奇异命题、否定和对立的正方形。 Zbl 1403.03052号 洛帕穆德拉·乔杜里;查克拉博蒂,米希尔·库马尔 5 2016 经典逻辑句子的逻辑方块。 Zbl 1396.03007号 乌苏拉州Wybraniec-Skardowska 5 2016 寻求逻辑L3A和L3B的含义。 Zbl 1420.03043号 亚历杭德罗·埃尔南德斯·特洛;若泽·阿拉佐拉·拉米雷斯;毛里西奥·奥索里奥·加林多 5 2017 多值逻辑的微积分。 Zbl 1529.03172号 迈克尔·卡明斯基;尼西姆·弗朗西兹 5 2021 重新审视杜贡吉定理。 Zbl 1330.03042号 马塞洛·E·科尼格里奥。;佩隆,牛顿·M·。 4 2014 对文化偶像的非标准分析:保罗·哈尔莫斯的案例。 Zbl 1365.01032号 彼得亚·巴兹奇克;亚历山大·波罗维克;弗拉基米尔·卡诺维;米哈伊尔·卡茨(Mikhail G.Katz)。;库德雷克,塔拉斯;Kutateladze,精液S。;大卫·雪莉 4 2016 用希尔伯特的\(\ varepsilon \)-项对直觉、类型、一阶逻辑的分类解释。 Zbl 1436.03093号 法比奥·帕斯夸利 4 2016 结构主义逻辑:含义、推论和结果。 Zbl 1116.03010号 阿诺德·科斯洛 4 2007 通过meta-fibring从片段中恢复逻辑。 Zbl 1131.03005号 马塞洛·埃斯特班(Marcelo Esteban Coniglio) 4 2007 梵蒂冈广场。 Zbl 1403.00027号 Jean-Yves贝齐奥;拉斐拉·乔瓦尼奥利 4 2016 柏拉图式的矛盾(阿南提亚):亚里士多德矛盾概念的始祖(反相)? Zbl 1353.01007号 日内瓦拉康 4 2016 莱布尼茨的逻辑和“对立的立方体”。 Zbl 1360.03037号 沃尔夫冈·伦岑 4 2016 对立面模态方格的概括和组合。 Zbl 1370.03026号 克劳迪奥·皮齐 4 2016 模型理论结果的两个早期阿拉伯语应用。 Zbl 1395.01011号 威尔弗里德·霍奇斯 4 2018 矛盾原理是(x^2=x\)的结果吗? 兹比尔1408.03003 Jean-Yves贝齐奥 4 2018 带有个人姓名及其缺席的维恩图:一种非经典图逻辑。 Zbl 1456.03056号 巴塔查吉,里图;Chakraborty、Mihir Kr。;洛帕穆德拉·乔杜里 4 2018 普遍逻辑和亚里士多德逻辑:逻辑的形式和本质。 Zbl 1326.01021号 朱莉·布伦贝·乔蒙特 4 2015 匕首类的驯服关系。 Zbl 1294.68107号 巴特·雅各布斯 4 2013 场的六角形框架{F} _4个}\)以及相关的波罗米亚逻辑。 Zbl 1280.03021号 勒内·吉塔特 4 2012 模态不动点逻辑的Buchholz规则。 Zbl 1278.03044号 贾格尔,格哈德;托马斯·施图德 4 2011 带经典否定的扩展Belnap-Dunn逻辑的Gentzen型序列计算:一般框架。 Zbl 07061141号 诺里希罗·卡米德 三 2019 关于本体上可定义推理的概念和角色典型性的描述逻辑的注释。 Zbl 1522.68533号 伊万·瓦尔津扎克 三 2018 论杰弗里条件化的模态逻辑。 Zbl 1461.03019号 盖尼斯·扎兰 三 2018 非分布逻辑的规范扩展和Kripke-Galois语义。 Zbl 1522.03052号 赫里萨菲斯·哈托纳斯 三 2018 一些三值和四值二阶逻辑的特性。 Zbl 1405.03060号 艾伦·P·黑森(Allen P.Hazen)。;弗朗西斯·杰弗里·佩利蒂埃 三 2018 相关性的经典约束。 Zbl 1344.03027号 阿诺·阿夫隆 三 2014 关于非确定性量化。 Zbl 1342.03023号 托马斯·麦考利·弗格森 三 2014 多结论自然教育中的和谐。 兹比尔1339.03045 尼西姆·弗朗西兹 三 2014 哥德尔第一不完全性定理的范围。 Zbl 1339.03004号 布尔特,伯尔尼 三 2014 胡塞尔纯粹逻辑中的韦德森。 Zbl 1361.03007号 艾萨克,曼努埃尔·古斯塔沃 三 2016 具有结构规则的序列计算的分布属性语义。 Zbl 1255.03034号 阿列克谢·潘科(Alexej P.Pynko)。 三 2009 对称广义伽罗瓦逻辑。 Zbl 1255.03033号 比姆博,卡塔林;邓恩,J.迈克尔 三 2009 对逻辑中的类别进行全局浏览。 Zbl 1119.03071号 彼得·阿恩特;罗德里戈阿尔瓦伦加·弗雷尔;奥迪隆·奥塔维奥·卢西亚诺;雨果·路易斯·玛丽亚诺 三 2007 构建普遍逻辑的宇宙。 Zbl 1149.03013号 弗拉基米尔·瓦西约科夫。 三 2007 用经典结构编码完整的度量结构。 Zbl 1485.03141号 纳撒内尔·利多姆·阿克曼 三 2020 瓦西尔耶夫的逻辑思想和多值逻辑的范畴语义。 Zbl 1380.03078号 D.Y.马克西莫夫。 三 2016 通用逻辑:项目的演变。 Zbl 1396.03002号 Jean-Yves贝齐奥 三 2018 波斯特逻辑及其二元论的自然演绎。 Zbl 1456.03047号 雅罗斯拉夫·彼得鲁金 三 2018 阴性模式的序列系统。 Zbl 1420.03044号 奥里·拉哈夫;乔安·马科斯;尤尼·佐哈尔 三 2017 部分Heyting代数的特征公式。 Zbl 1309.03012号 亚历克斯·西特金 三 2013 弱化和扩展\(\mathbb{Z}\)。 Zbl 1331.03026号 毛里西奥·奥索里奥;卡巴利多,J.L。;塞佩达,C。;J.A.卡斯特拉诺斯。 三 2015 一阶代数和各种约化的普遍理论。 兹比尔1380.03077 劳伦斯·瓦尔比 三 2015 反责任推理:一种明确的方法。 Zbl 1357.03056号 克莱顿·彼得森 三 2015 纳尔逊逻辑中的推理规则,可容许性和弱可容许性。 兹伯利1336.03036 谢尔盖·奥丁佐夫;弗拉基米尔·里巴科夫 三 2015 最小生成的抽象逻辑。 Zbl 1255.03022号 斯特芬·列维茨卡;安德烈亚斯·布伦纳。 三 2009 逻辑和宗教。 Zbl 1364.03007号 Jean-Yves贝齐奥;里卡多·西尔维斯特尔 三 2017 经典逻辑的互补证明网。 Zbl 07786295号 加布里埃尔·普奇尼;阿奇尔·瓦尔齐(Achille C.Varzi)。 1 2023 意外的布尔连接词。 Zbl 1529.03175号 塞尔吉奥·马塞利诺 2 2022 表aux用于内容关系逻辑和集合分配语义。 Zbl 1521.03056号 托马斯·贾穆·埃克;马特乌斯·克洛诺夫斯基 1 2022 关于几何角的逻辑几何。 Zbl 1530.03053号 汉斯·斯梅萨特;洛伦兹·德米 1 2022 NF/NFU分层的现代严格方法。 Zbl 07603236号 阿德莱西奇,锡;卡拉奇,维德兰 1 2022 最大段作为某些切割的自然演绎图像。 Zbl 1515.03210号 米尔贾纳Borisavljević 1 2022 一些基本和模态布尔连接逻辑的公理化。 兹比尔07462130 马特乌斯·克洛诺夫斯基 6 2021 多值逻辑的微积分。 Zbl 1529.03172号 迈克尔·卡明斯基;尼西姆·弗朗西兹 5 2021 经典命题逻辑部分片段的对应分析。 兹比尔1477.03021 雅罗斯拉夫·彼得鲁金;瓦西里·沙金 2 2021 隐含语气逻辑:代数语义和关系语义。 Zbl 1530.03095号 杨恩斯克;邓恩,J.迈克尔 2 2021 具有偶然性和偶然性的双峰逻辑:互模拟和公理化。 Zbl 07380925号 范洁 2 2021 量化了时间的古希腊的布勒斯多斯泰克逻辑。 Zbl 1493.03003号 丹尼尔·罗内达尔 1 2021 当你可以把事情变得复杂时,为什么要把事情变得简单?刘易斯·卡罗尔符号逻辑赏析。 Zbl 1490.03003号 阿米鲁什·莫克特菲 1 2021 S4臂前延伸的统一。 Zbl 1491.03014号 斯蒂芬·巴什马科夫。 1 2021 对立和比较的结构:布尔型和渐变型。 Zbl 1432.68458号 迪迪埃·杜布瓦;亨利·普拉德;阿涅斯·里科 6 2020 用经典结构编码完整的度量结构。 Zbl 1485.03141号 纳撒内尔·利多姆·阿克曼 三 2020 有限多值非确定性结果关系的类树证明系统。 Zbl 1472.03023号 Pawel,Pawlowski 2 2020 论作为符号学对象的对立广场的历史演变。 Zbl 1442.03002号 Ioannis M.Vandoulakis。;塔蒂亚娜·尤·杰尼索娃。 2 2020 斯威尼谢德,亚里士多德和矛盾对规则。 兹比尔1442.03005 阅读,斯蒂芬 2 2020 存在意义、亚里士多德逻辑及其推广。 Zbl 1442.03001号 科琳娜·斯特罗纳 2 2020 谓词逻辑的对立立方体。 Zbl 1443.03005号 杰根·菲舍尔·尼尔森 2 2020 Dunn-Belnap逻辑的正规和自扩展扩展。 Zbl 1472.03019号 阿诺·阿夫隆 2 2020 积极的合并。 Zbl 1484.03074号 穆罕默德·贝尔卡斯米 1 2020 介绍了一种基于机构的形式化规范和验证语言\(H)。 Zbl 1484.68106号 拉兹万·迪亚科内斯库 1 2020 模糊自然逻辑中对立的分级结构。 Zbl 1497.68461号 佩特拉·穆里诺娃 1 2020 康德的纯粹理性与“谓词否定六边形”的矛盾。 Zbl 1477.03014号 彼得·麦克劳林;奥利弗·施劳特 1 2020 告别压制自由。 Zbl 1466.03003号 Ø戈尔,托雷·费特兰 1 2020 测量广义命题逻辑中的不一致性。 Zbl 1476.03034号 约翰·格兰特 1 2020 结构和理论基础。一、。 Zbl 1485.03080号 杰弗里·凯特兰 1 2020 具有内部副本的数值存在属性和类别。 Zbl 1448.18001号 萨缪尔·马斯基奥 1 2020 带经典否定的扩展Belnap-Dunn逻辑的Gentzen型序列计算:一般框架。 Zbl 07061141号 诺里希罗·卡米德 三 2019 三段论的一系列图解方法。 Zbl 07061140号 弗兰克·托马斯·绍特 2 2019 (co)剩余格的对偶结果。 Zbl 1516.06009号 赫里萨菲斯·哈托纳斯 2 2019 皮尔斯·辛提卡的想法。 Zbl 1472.03010号 阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 2 2019 非单调逻辑和科学与宗教的兼容性。 Zbl 1443.03004号 特雷普钦斯基,马钦 2 2019 多值逻辑的结构规则。 Zbl 07061142号 尼西姆·弗朗西兹;迈克尔·卡明斯基 1 2019 阿维森纳理论中的逻辑结果。 Zbl 1412.03005号 萨卢阿查蒂 1 2019 超级模特。 Zbl 1472.03028号 贾科·辛提卡 1 2019 关于语言逻辑研究的观点。 Zbl 1472.03011号 贾科·辛提卡 1 2019 TAE机器及其计算能力。 Zbl 1434.68174号 阿波斯托洛斯·西罗普洛斯 1 2019 欣提卡,自由逻辑学家。世界线语义中的单数术语。 Zbl 1472.03014号 马蒂厄·方丹 1 2019 欣提卡和逻辑的功能。 Zbl 1472.03007号 蒙哥马利林克 1 2019 刚性多样。 Zbl 1450.03001号 塔尼宁,图卡 1 2019 一些亚直觉逻辑的标签表系统。 Zbl 1472.03017号 马明辉 1 2019 \(\mathrm{维恩}_{i_{o1}}\):一个无边界宇宙的图解系统。 Zbl 1456.03057号 巴塔查吉,里图;查克拉波蒂,米希尔·克里。;洛帕穆德拉·乔杜里 1 2019 塔木德逻辑项目,自2008年以来一直在进行。 Zbl 07170320号 Dov M.加巴伊。;乌里·希尔德;埃丝特·大卫 1 2019 在filioque争议中的应对措施和正常违约。 兹比尔1460.01005 雅各布·阿尔坎鲍尔 1 2019 托马斯·曼勒维特:逻辑中的上帝。 Zbl 1432.01032号 阿尔弗雷德·范德赫尔姆 1 2019 库萨的尼古拉斯思想中的数学和神学。 Zbl 1444.01011号 罗马人穆拉夫斯基 1 2019 反复使用混合策略和帕斯卡的赌注。 Zbl 1431.91058号 埃米尔·巴迪奇 1 2019 逻辑图、神圣几何学和神经网络。 Zbl 07170326号 延斯·莱曼斯基 1 2019 帕维尔·弗洛伦斯基的宗教矛盾理论。 Zbl 07170327号 帕韦·罗杰克 1 2019 哥德尔第二定理和上帝存在的可证明性。 Zbl 07170328号 梅伊尔·布扎格洛 1 2019 元语言和启示:重新思考神学的语言和相关性。 Zbl 07170329号 安德烈亚·维斯特鲁奇 1 2019 可知性和其他本体论悖论。 Zbl 07170330号 D’弗朗卡·阿戈斯蒂尼 1 2019 积极的约翰逊理论。 Zbl 1456.03060号 布鲁诺·波扎特;叶什凯耶夫,艾巴特 16 2018 三值逻辑的广义对应分析。 Zbl 1435.03047号 雅罗斯拉夫·彼得鲁金 11 2018 Płonka和的二重性。 兹比尔1523.08001 斯特凡诺·邦齐奥 7 2018 模型理论结果的两个早期阿拉伯语应用。 Zbl 1395.01011号 威尔弗里德·霍奇斯 4 2018 矛盾原理是(x^2=x\)的结果吗? 兹比尔1408.03003 Jean-Yves贝齐奥 4 2018 带有个人姓名及其缺席的维恩图:一种非经典图逻辑。 Zbl 1456.03056号 巴塔查吉,里图;查克拉波蒂,米希尔·克里。;洛帕穆德拉·乔杜里 4 2018 关于本体上可定义推理的概念和角色典型性的描述逻辑的注释。 Zbl 1522.68533号 伊万·瓦尔津扎克 三 2018 论杰弗里条件化的模态逻辑。 Zbl 1461.03019号 盖尼斯·扎兰 三 2018 非分布逻辑的规范扩展和Kripke-Galois语义。 Zbl 1522.03052号 赫里萨菲斯·哈托纳斯 三 2018 一些三值和四值二阶逻辑的特性。 Zbl 1405.03060号 艾伦·P·黑森(Allen P.Hazen)。;弗朗西斯·杰弗里·佩利蒂埃 三 2018 通用逻辑:项目的演变。 Zbl 1396.03002号 Jean-Yves贝齐奥 三 2018 波斯特逻辑及其二元论的自然演绎。 Zbl 1456.03047号 雅罗斯拉夫·彼得鲁金 三 2018 抽象逻辑常数。 Zbl 1522.03150号 田佩尔科夫 2 2018 一些\(\mathbf{Z}\)类逻辑的特征化。 Zbl 1456.03051号 克里斯蒂娜·穆鲁泽克·纳西涅夫斯卡;马雷克·纳西涅夫斯基 2 2018 量子非个人的新逻辑? 兹比尔1522.03032 乔纳斯·贝克·阿伦哈特 1 2018 通过引入功能同构量词的概念,发展元逻辑以形式化形而上学系统的本体论争议。 Zbl 1441.03009号 乔莉·托马斯 1 2018 亚里士多德的原型基于规则的底层逻辑。 Zbl 1397.01005号 约翰·科科兰 1 2018 关于平衡空间的推广。 Zbl 1456.03110号 法比奥·帕斯夸利 1 2018 作为制度的成分命名逻辑。 Zbl 1456.03054号 Alexey Chentsov;尼基琴科、米科拉 1 2018 和弦及其内部和谐的分子逻辑。 Zbl 1439.03069号 马克斯,英戈尔夫 1 2018 安德森-哈耶克本体论争议的计算机辅助分析。 Zbl 1417.03131号 Benzmüller,C。;利昂·韦伯;布鲁诺沃尔岑洛格尔古 10 2017 模态多点阵逻辑。 Zbl 1404.03018号 诺里希罗·卡米德;雅罗斯拉夫·什兰科 9 2017 自扩展三值次协调逻辑。 Zbl 1420.03042号 阿诺·阿夫隆 7 2017 Fitting四值推广Kleene逻辑的自然演绎。 Zbl 1385.03032号 雅罗斯拉夫·彼得鲁金。 7 2017 寻求逻辑L3A和L3B的含义。 Zbl 1420.03043号 亚历杭德罗·埃尔南德斯·特洛;若泽·阿拉佐拉·拉米雷斯;毛里西奥·奥索里奥·加林多 5 2017 阴性模式的序列系统。 Zbl 1420.03044号 奥里·拉哈夫;乔安·马科斯;尤尼·佐哈尔 三 2017 逻辑和宗教。 Zbl 1364.03007号 Jean-Yves贝齐奥;里卡多·西尔维斯特尔 三 2017 局部表格\(\neq\)局部有限。 兹比尔1420.03023 塞尔吉奥·马塞利诺;翁贝托·里维奇奥 2 2017 Anselm证明的单调和非单调嵌入。 Zbl 1365.01005号 雅各布·阿尔坎鲍尔 2 2017 关于两人公司的一条注释:“许多逻辑价值观的骗子”。 Zbl 1386.03023号 丹尼尔·斯科特 1 2017 四值Łukasiewicz代数上量词的另一种定义。 Zbl 1414.03014号 卢西亚诺·J·冈萨雷斯。;M.B.拉坦齐。;彼得罗维奇,A.G。 1 2017 早期印度教和印度古典哲学中的否定思维。 Zbl 1417.03045号 普鲁肖塔马Bilimoria 1 2017 从伊斯兰逻辑到伊斯兰逻辑。 Zbl 1378.01003号 穆萨·阿克拉米 1 2017 莱布尼茨对上帝存在和“不可能的物体”问题的本体论证明。 Zbl 1375.01014号 沃尔夫冈·伦岑 1 2017 安塞尔姆的逻辑分析Unum论据(来自宣讲). Zbl 1420.03051号 Jean-Pierre Descés 1 2017 蜘蛛图的符号学。 Zbl 1417.03048号 吉姆·伯顿;豪斯,约翰 1 2017 使用隐藏变量将非经典逻辑转换为经典逻辑。 Zbl 1420.03020号 阿瓜德罗·阿瓜德罗,胡安·C。 1 2017 “no”是力诱导因素吗?是的,迟早! Zbl 1417.03098号 Fabien Schang先生;特拉福德,詹姆斯 1 2017 四个逻辑扩展格的互连。 Zbl 1420.03039号 阿列克谢·穆拉维茨基。 1 2017 逻辑图的形而上学装饰。 兹伯利1384.03023 洛伦兹·德米;汉斯·斯梅萨特 18 2016 模糊自然逻辑中的三段论和带有中间量词的五方对立。 Zbl 1396.03061号 佩特拉·穆里诺娃;维勒姆诺瓦克 9 2016 通过不相容性将矛盾从矛盾中分离出来。 Zbl 1384.03016号 Jean-Yves贝齐奥 6 2016 奇异命题、否定和对立的正方形。 Zbl 1403.03052号 洛帕穆德拉·乔杜里;查克拉博蒂,米希尔·库马尔 5 2016 经典逻辑句子的逻辑方块。 Zbl 1396.03007号 乌苏拉州Wybraniec-Skardowska 5 2016 对文化偶像的非标准分析:保罗·哈尔莫斯的案例。 Zbl 1365.01032号 彼得亚·巴兹奇克;亚历山大·博罗维克;弗拉基米尔·卡诺维;米哈伊尔·卡茨(Mikhail G.Katz)。;库德雷克,塔拉斯;Kutateladze,精液S。;大卫·雪莉 4 2016 …还有138个文档 所有引用出版物 排名前五的出版物 全部的 前5名633位作者引用 23 亨利·普拉德。 19 珍妮·伊夫·贝齐奥 16 雅罗斯拉夫·伊戈列维奇·彼得鲁金 15 洛伦兹·德米 12 克里斯托夫·埃瓦尔德·本兹穆勒 12 理查德·吉尔斯 11 罗伯斯,杰玛 11 彼得·威尔第 10 迪德里克·巴滕斯 10 玛丽亚·艾米莉亚·梅埃蒂 10 汉斯·斯梅萨特 9 迪迪埃·杜布瓦 9 佩特拉·穆里诺娃 9 克里斯蒂安·斯特拉瑟 8 卡洛斯·卡莱罗 8 塞尔吉奥·马塞利诺 8 维勒姆诺瓦克 8 法比奥·帕斯夸利 7 贝伦,马修 7 奥利维亚·卡拉梅尔 7 何塞·门德斯。 6 阿诺·阿夫隆 6 比姆博,卡塔林 6 马塞洛·埃斯特班(Marcelo Esteban Coniglio) 6 雅各布·埃梅内格 6 诺里希罗·卡米德 6 米哈伊尔·卡茨(Mikhail G.Katz)。 6 萨缪尔·马斯基奥 6 萨拉·内格里 6 朱塞佩·罗索里尼 6 瓦西里·尚金 5 奥费尔·阿列利 5 斯特凡诺·邦齐奥 5 查克拉博蒂,米希尔·库马尔 5 亚历克斯·西特金 5 拉兹万·迪亚科内斯库 5 路易斯·埃斯特拉达·冈萨雷斯 5 福恩市长,大卫 5 丹尼尔·加恩 5 弗拉基米尔·卡诺维。 5 亚历山大·马德拉 5 阿米鲁什·莫克特菲 5 Fabien Schang先生 5 Wybraniec-Skardowska,Urszula B。 5 叶什基耶夫,艾巴特·拉法托维奇 4 乔纳斯·拉斐尔·贝克尔·阿伦哈特 4 吉列尔莫·巴迪亚 4 巴塔查吉,里图 4 沃尔特·亚历山大·卡尼埃利 4 大卫·丘奇 4 Jean-Pierre Descés 4 乔恩·迈克尔·邓恩 4 尼西姆·弗朗西兹 4 劳埃德·亨伯斯通 4 马克·坎斯玛 4 卡琳·乌萨迪(Katz,Karin Usadi) 4 奥利弗·库茨 4 乔安·马科斯 4 马丁斯(Manuel António Martins) 4 阿莱西奥·莫雷蒂 4 蒂尔·莫萨科夫斯基 4 弗朗西斯科·保利 4 加布里埃尔·普奇尼 4 大卫·M·雪莉。 4 戴维·特罗塔 4 海因里希·西奥多 三 欧文·亨利·安妮莉斯 三 尼克·贝扎尼什维利 三 彼得亚·巴兹奇克 三 斯蒂芬妮娅·博法 三 米利亚姆邦哈斯 三 萨卢阿查蒂 三 洛帕穆德拉·乔杜里 三 托马斯·麦考利·弗格森 三 格拉坦-吉尼斯,象牙 三 格里戈耶夫,奥列格·米哈·洛维奇 三 约瑟夫·古贝拉泽 三 勒内·吉塔特 三 赫里萨菲斯·哈托纳斯 三 曼努埃尔·古斯塔沃·艾萨克 三 桑多·杰内 三 马特乌斯·克洛诺夫斯基 三 库塔莱泽,塞蒙·萨姆索维奇 三 延斯·莱曼斯基 三 多罗塔·莱斯琴斯卡·贾西翁 三 斯特芬·列维茨卡 三 安德烈·洛伊 三 Meheus,笑话 三 罗兰·米克莱特 三 托马索·莫拉希尼 三 格里戈里·奥尔霍维科夫。 三 大森,Hitoshi 三 埃里克·帕尔姆格伦 三 安卡·克里斯汀·帕斯库 三 吉尔曼·佩耶特 三 克莱顿·彼得森 三 伊沃·佩兹拉 三 阅读,斯蒂芬 三 阿格内斯·里科 三 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 …还有533名作者 全部的 前5名72种期刊引用 107 泛逻辑 50 Studia Logica公司 29 合成 26 哲学逻辑杂志 19 逻辑与逻辑哲学 18 国际近似推理杂志 18 应用非经典逻辑杂志 16 符号逻辑述评 13 逻辑历史与哲学 11 模糊集与系统 11 纯逻辑与应用逻辑年鉴 11 逻辑、语言与信息杂志 10 人工智能 10 数学逻辑档案 10 数学与人工智能年鉴 8 逻辑科公报 8 应用逻辑杂志 6 理论计算机科学 6 自动推理杂志 6 《数理逻辑季刊》 6 科学基础 6 Logicheskie Issledovaniya公司 5 代数普遍性 5 纯代数与应用代数杂志 5 符号逻辑杂志 5 应用的分类结构 5 符号逻辑公报 5 托波伊 4 MSCS公司。计算机科学中的数学结构 4 SibirskieÈlektronnye Matematicheskie Izvestiya公司 4 计算机科学中的逻辑方法 三 圣母院形式逻辑杂志 三 软计算 三 程序设计中的逻辑和代数方法杂志 2 数学进展 2 代数与逻辑 2 代数杂志 2 伊朗数学学会公报 2 计算的形式方面 2 数学史 2 范畴的理论与应用 2 计算机基础理论 2 多值逻辑与软计算杂志 2 第比利斯数学杂志 2 公理 1 信息处理信件 1 以色列数学杂志 1 莫斯科大学数学公报 1 洛基山数学杂志 1 乌克兰数学杂志 1 几何与物理杂志 1 数学信使 1 Dedicata几何 1 凯贝内提卡 1 模拟中的数学和计算机 1 数学期刊 1 人工智能通信 1 马特马蒂奇尼研究所 1 群论杂志 1 洛巴切夫斯基数学杂志 1 几何学进展 1 量子信息处理 1 ACM计算逻辑事务 1 物理学基础 1 圣保罗数学科学杂志 1 对称 1 数学杂志 1 欧洲数学杂志 1 西伯利亚联邦大学学报。数学和物理 1 ChelyabinskiĭFiziko-Matematicheskiĭ·朱纳尔 1 AIMS数学 1 模型理论 全部的 前5名31个字段中引用 566 数学逻辑和基础(03-XX) 141 计算机科学(68至XX) 65 历史和传记(01-XX) 44 范畴理论;同调代数(18-XX) 33 阶、格、有序代数结构(06-XX) 25 总体主题;集合(00-XX) 11 博弈论、经济学、金融和其他社会和行为科学(91-XX) 8 一般拓扑结构(54至XX) 7 量子理论(81-XX) 6 一般代数系统(08-XX) 6 统计学(62-XX) 5 实际功能(26年X月X日) 5 几何图形(51至XX) 5 凸和离散几何(52-XX) 4 交换代数(13-XX) 4 群论与推广(20-XX) 4 拓扑群、李群(22日至XX日) 三 组合数学(05-XX) 三 代数拓扑(55-XX) 三 数学教育(97-XX) 2 数论(11-XX) 2 代数几何(14-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 功能分析(46倍X倍) 1 结合环与代数(16-XX) 1 \(K\)-理论(19-XX) 1 概率论与随机过程(60-XX) 1 数值分析(65-XX) 1 统计力学,物质结构(82-XX) 1 地球物理学(86-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文