应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 简短标题: J.应用。日志。-IfCoLog J.日志。申请。 出版商: 里克曼斯沃思大学出版社 国际标准编号: 2631-9810; 2055-3706; 2631-9829/e;2055-3714/年 在线: http://collegepublications.co.uk/ifcolo/ 评论: 期刊;此日志可开放访问。 已编制索引的文档: 281出版物(自2018年起) 全部的 前5名最新问题 11,编号2(2024) 11,编号1(2024) 10,编号6(2023) 10,编号5(2023) 10,编号4(2023) 10,编号3(2023) 10,编号2(2023) 10,编号1(2023) 9,编号4(2022) 9,第3期(2022) 9,编号2(2022) 9,编号1(2022) 8,第10号(2021) 8,编号8(2021) 8,编号7(2021) 8,编号6(2021) 8,编号5(2021) 8,编号4(2021) 8,编号3(2021) 8,编号2(2021) 8,编号1(2021) 7,第6号(2020年) 7,第5期(2020年) 7,第4期(2020年) 7,第3期(2020年) 7,第1期(2020年) 6,第7号(2019) 62019年第6号 6,第5号(2019) 6,第4号(2019) 6,第3号(2019) 62019年第2期 62019年第1期 52018年第9号 52018年第8号 5,第7号(2018) 5,第6号(2018) 5,第5号(2018) 5,第4号(2018) 5,第3号(2018) 5,第2号(2018) 52018年第1期 全部的 前5名作者 6 安纳托利赫·德武雷·恩斯基 6 雨果·路易斯·玛丽亚诺 5 圭多州长 5 奥斯曼·哈桑 5 克劳迪奥·莫拉加。 5 奥米德·扎希里 4 菲利普·巴尔比亚尼 4 尼西姆·弗朗西兹 4 Dov M.加巴伊。 4 杰西·海因尼克 4 马丁·卢卡克 4 Marek A.Perkowski。 4 里卡多·索萨·西尔维斯特 4 Milena Stanković 4 Radomir S.斯坦科维奇。 4 马蒂亚斯·蒂姆 4 范德托雷,Leendert W.N。 三 克里斯托夫·贝尔 三 克里斯托夫·埃瓦尔德·本兹穆勒 三 马西米利亚诺·卡拉拉 三 丹尼尔·奇菲 三 罗伯特·德莫洛姆 三 马丁·迪盖兹 三 诺里希罗·卡米德 三 加布里埃尔·克恩·伊斯伯纳 三 贾科莫·伦齐 三 迈克尔·穆尔特加特 三 新野部长山 三 佩雷·帕尔多 三 家长,Xavier 三 安东尼诺·罗托洛 三 克里斯蒂安·斯特拉瑟 三 索菲涅·塔哈尔 2 马丁·亚当契克 2 阿萨德·艾哈迈德 2 阿卜杜拉赫曼·阿拉索 2 纪尧姆拍卖行 2 克里斯蒂娜·巴雷斯·戈麦斯 2 彼得罗·巴罗尼 2 贝伦,马修 2 博格,安妮玛丽 2 Jon T.巴特勒。 2 安德烈亚·科恩 2 科伦坡托萨托,西尔瓦诺 2 达戈斯蒂诺,马塞洛 2 弗洛里奥,西罗 2 路易斯·法利尼亚斯·德尔·塞罗 2 阿里·法贾米 2 大卫·费尔南德斯·杜克 2 马西米利亚诺·贾科明 2 爱德华·赫尔曼·海尔 2 阿马尔·哈桑 2 劳埃德·亨伯斯通 2 艾奥古列斯库,非洲 2 乔治·贾帕里泽 2 迈克尔·基扬(Michael K.Kinyon)。 2 库尔比斯,尼尔斯 2 科斯坦扎·拉雷斯 2 刘易斯,玛莎 2 Judit X·马达拉斯。 2 洛伦佐·马格纳尼 2 雷卡·马尔科维奇 2 弗朗西斯科·奥利维里 2 Park,伍硕 2 阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 2 阿德南·拉希德 2 杰玛·罗伯斯 2 加迪·罗森伯格 2 乔瓦尼·萨托 2 佐佐、通武 2 安德鲁·舒曼 2 伊利亚·夏皮罗夫斯基。 2 雅罗斯拉夫·什兰科。 2 吉列尔莫·里卡多·西马里 2 迈克·斯坦内特 2 萨瓦斯,安杰伊 2 谢凯利(Székely,Gergely) 1 阿贝·阿基诺里 1 安倍晋三 1 安德鲁·阿伯丁 1 埃曼·阿克 1 瓦卡尔·艾哈迈德 1 阿金库米,B.O。 1 伊曼纽尔·阿尔比尼 1 娜塔莎·亚历奇纳 1 Gianvincenzo阿尔法诺 1 Jean-Marc阿利奥特 1 阿隆德里斯,罗马 1 何塞·古德特·阿尔维姆 1 亚历山大·阿佩尔 1 奥费尔·阿列利 1 柳田有坂 1 谢尔盖·阿特莫夫 1 Jaakko T.阿斯托拉。 1 凯蒂·阿特金森 1 拉斐尔·奥迪伯特(Rafael B.Audibert)。 1 佩德罗·艾弗拉尔 1 安东尼奥·艾维莱斯·洛佩兹 1 阿诺·阿夫隆 1 萨纳兹·阿齐米普尔 …还有313位作者 全部的 前5名领域 197 数学逻辑和基础(03-XX) 71 计算机科学(68至XX) 23 总体主题;集合(00-XX) 23 阶、格、有序代数结构(06-XX) 15 历史和传记(01-XX) 11 博弈论、经济学、金融和其他社会和行为科学(91-XX) 10 信息与通信理论、电路(94-XX) 7 范畴理论;同调代数(18-XX) 6 量子理论(81-XX) 4 运筹学、数学规划(90-XX) 2 组合数学(05-XX) 2 一般代数系统(08-XX) 2 数论(11-XX) 2 场论和多项式(12-XX) 2 代数几何(14-XX) 2 功能分析(46倍X倍) 2 概率论与随机过程(60-XX) 2 相对论和引力理论(83至XX) 2 生物学和其他自然科学(92-XX) 1 交换代数(13-XX) 1 群论与推广(20-XX) 1 拓扑群、李群(22日至XX日) 1 实际功能(26年X月X日) 1 欧氏空间的调和分析(42至XX) 1 积分变换,运算微积分(44-XX) 1 几何图形(51至XX) 1 一般拓扑结构(54至XX) 1 统计学(62-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 88出版物有被引用154中的次134文件 引用人▼ 年份▼ 准Nelson片段:两个否定。 Zbl 1513.03114号 翁贝托·里维奇奥 6 2020 (\Sigma_1)句子的最大熵模型。 Zbl 1513.03052号 拉德·索鲁斯·拉菲 5 2018 正式论证中的论证强度。 Zbl 1514.68276号 贝伦,马修;杰西·海因尼克;佩雷·帕尔多;克里斯蒂安·斯特拉 5 2018 空间微积分子系统的简洁性。 Zbl 1513.03043号 大卫·费尔南德斯·杜克;皮塔·伊利耶夫 4 2018 有限值命题逻辑的多元自然演绎。 Zbl 1513.03053号 尼西姆·弗朗西兹;迈克尔·卡明斯基 4 2019 伪EMV-代数。一: 基本属性。 Zbl 1513.06028号 安纳托利赫·德武雷·恩斯基;奥米德·扎希里 4 2019 双边经典逻辑的规范化和一些哲学评论。 Zbl 1515.03208号 库尔比斯,尼尔斯 4 2021 利用协议相关知识加强八卦协议。 Zbl 1524.68387号 汉斯·范·迪特马尔施;马尔文·加廷格;Louwe B.Kuijer。;佩雷·帕尔多 三 2019 正式论证中的执行。 Zbl 1516.68088号 鲍曼,林戈;西尔维·多特;Jean-Guy,梅利;约翰·沃纳(Johannes P.Wallner)。 三 2021 双边主义确实为经典逻辑提供了一种证明理论的处理方法(出于非技术原因)。 Zbl 1513.03103号 尼西姆·弗朗西兹 三 2018 双贝尔纳普逻辑和任何东西,但谎言。 Zbl 1513.03058号 雅罗斯拉夫·什兰科 三 2019 使用可微分推理的半监督学习。 Zbl 1514.68264号 埃米尔·范·克里肯;埃曼·阿克;范·哈梅伦,弗兰克 三 2019 HOL中的I/O逻辑。 Zbl 1513.03040号 克里斯托夫·本兹穆勒;阿里·法贾米;保罗·麦德;家长,Xavier 三 2019 社交网络传播的灯塔原则。 Zbl 1513.03077号 萨纳兹·阿齐米普尔;帕维尔·瑙莫夫 2 2018 准完备逻辑K1——自然演绎,其自动化、复杂性和应用。 Zbl 1512.68149号 亚历山大·博洛托夫;Danil Kozhemiachenko;瓦西里·沙金 2 2018 基本循环演算I:平行连接词和选择连接词。 Zbl 1513.03075号 乔治·贾帕里泽 2 2018 布尔值模型是局部L^0凸分析和条件集理论的基础。 Zbl 1513.03079号 安东尼奥·阿维莱斯;何塞·米盖尔·萨帕塔 2 2018 Kleene强逻辑的所有三值蕴涵展开的类包含Anderson和Belnap的一阶蕴涵逻辑。 Zbl 1515.03123号 杰玛·罗伯斯 2 2021 可在o-minimum结构中定义的群:各种性质和图表。 Zbl 1515.03174号 安娜丽莎·康瓦诺 2 2021 构造模态逻辑的证明逻辑。 Zbl 1515.03098号 罗马库兹涅茨;索尼娅·马林;卢茨斯特拉汉堡 2 2021 弱伪EMV-代数。一: 基本属性。 Zbl 1515.06013号 安纳托利赫·德武雷·恩斯基;奥米德·扎希里 2 2021 弱伪EMV-代数。二: 表示和子变种。 Zbl 1515.06014号 安纳托利赫·德武雷·恩斯基;奥米德·扎希里 2 2021 计算解释学案例研究:E.J.Lowe的模态本体论论证。 Zbl 1513.03009号 福恩市长,大卫;克里斯托夫·本兹穆勒 2 2018 偏序集约束满足的复杂性二分法。 Zbl 1513.08002号 迈克尔·孔帕彻;Trung Van Pham公司 2 2018 非单调逻辑中基于假设的方法与形式论证的关系:从结构化论证到自适应逻辑。 Zbl 1497.68459号 杰西·海宁克 2 2019 相关证明逻辑。 Zbl 1513.03035号 内纳德·萨维;托马斯·施图德 2 2019 伪EMV-代数。二: 代表和状态。 Zbl 1513.06029号 安纳托利赫·德武雷·恩斯基;奥米德·扎希里 2 2019 最近关于现在和应该的思考:联系、汇合和重新发现。 Zbl 1513.03012号 劳埃德·亨伯斯通 2 2019 一阶Nelsonian准一致量子逻辑的一些性质。 Zbl 1513.03062号 诺里希罗·卡米德 2 2020 超积和平均类。 Zbl 1513.03078号 威尔·博尼 2 2020 意思是密度矩阵的更新。 Zbl 1513.03069号 鲍勃·科克;康斯坦蒂诺斯·梅恰内齐迪斯 2 2020 走向普遍逻辑:格格逻辑。 Zbl 1513.03049号 纪尧姆拍卖行 2 2020 带算子的极性和格的形态和对偶。 Zbl 1513.06034号 罗伯特·戈德布拉特 2 2020 空间和时间的无点理论。 Zbl 1513.03067号 迪米特·瓦卡雷洛夫 2 2020 吸引无知?灭绝和谬误的解释。 Zbl 1515.03030号 特鲁迪·戈维尔 2 2021 转门的两个故事。 Zbl 1515.03032号 比约恩·杰斯珀森 2 2021 基于假设的论证方法与优先级推理的比较研究。 Zbl 1515.68305号 杰西·海因尼克;克里斯蒂安·斯特拉瑟 2 2021 空间各向同性所隐含的世界观变换组。 Zbl 1515.51016号 Madarász,朱迪特·X。;迈克·斯坦内特;谢凯利(Székely,Gergely) 2 2021 抽象论证中的高阶交互作用(两极或非两极):一种最新技术。 Zbl 1516.68092号 克劳德特·凯罗尔;安德烈亚·科恩;Marie-Christine,Lagasquie-Schiex 2 2021 抽象论证中的集体可接受性。 Zbl 1516.68089号 鲍迈斯特,多萝西娅;丹尼尔·纽格鲍尔;约尔格·罗特 2 2021 加权论证。 Zbl 1516.68091号 斯蒂法诺·比斯塔雷利;弗朗西斯科·桑蒂尼 2 2021 形式论证的基于逻辑的方法。 Zbl 1516.68086号 奥费尔·阿列利;安尼马里州博格;杰西·海因尼克;克里斯蒂安·斯特拉瑟 2 2021 具有分级真值的超一致规则推理。 Zbl 1512.68317号 弗朗西斯科·卢卡·德·安吉利斯;乔瓦纳·迪·马尔佐·塞卢根多;斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 1 2018 铃木一致性,一种替代方法。 Zbl 1513.03057号 彼得·舒斯特;丹尼尔·韦塞尔 1 2018 模态逻辑中的基本统一(KD45)。 Zbl 1513.03039号 菲利普·巴尔比亚尼;廷切夫、廷科 1 2018 多智能体系统中的建模规范说明和验证。 Zbl 1514.68304号 娜塔莎·亚历奇纳;布赖恩·洛根;迈赫迪·达斯塔尼 1 2018 不精确概率和凯恩斯“论据权重”的衡量。 Zbl 1513.03026号 威廉·佩登 1 2018 论结构论证中的精英提升与一致性。 兹比尔1514.68278 Sjur Dyrkolboton公司;特鲁尔斯佩德森;简·布罗森 1 2018 本体论论证的形式方法。 Zbl 1513.03006号 1 2018 使用ZDDs对对称索引生成函数进行线性分解的精确优化方法。 Zbl 1498.68091号 Shinobu Nagayama;佐佐、通武;巴特勒,乔恩 1 2018 协变-逆变精化模态逻辑。 Zbl 1513.03048号 邢慧丽;朱兆辉;张金金 1 2019 新巴比伦人是否为法律诉讼构建了象征逻辑? Zbl 1513.03001号 安德鲁·舒曼 1 2019 权利与惩罚:霍菲尔德理论在理解刑法方面的适用性和道德性。 Zbl 1513.03025号 雷卡·马尔科维奇 1 2019 面向教义具体化的道义论证框架。 Zbl 1514.68281号 雷吉斯·里维雷特;安东尼诺·罗托洛;乔瓦尼·萨托 1 2019 逻辑和上帝的概念。 Zbl 1513.03003号 1 2019 三位一体的逻辑问题没有新的解决方案。 Zbl 1513.03008号 Beau Branson先生 1 2019 带强否定的Gurevich扩展一阶直觉逻辑的截消、完备性和Craig插值定理。 Zbl 1515.03053号 诺里希罗·卡米德 1 2021 泛代数网状的函数性质。 Zbl 1515.08005号 乔治·乔治斯库;莱昂纳德·奎达;克劳迪娅·穆雷桑 1 2021 战略论证。 Zbl 1516.68093号 圭多州长;迈克尔·马赫(Michael J.Maher)。;弗朗西斯科·奥利维埃里 1 2021 Barbara、Darapti和Darii类型的三项三段论和双边组合的变化和模式。 兹比尔1515.03038 丹·君士坦丁·拉杜列斯库 1 2021 2017年直觉主义模态逻辑前言。 Zbl 1515.03012号 1 2021 内涵、内涵递归和哥德尔-洛布公理。 Zbl 1515.03067号 卡夫沃斯,G.A。 1 2021 直观I/O操作的模式特征。 Zbl 1515.03103号 家长,Xavier 1 2021 4值逻辑PŁ4的2设置Routey语义。 兹伯利1515.03126 杰玛·罗伯斯;何塞·梅恩德斯。 1 2021 论康德在本体论论证批判中对存在泛化的潜在矛盾心理。 Zbl 1513.03015号 乔瓦尼·米恩 1 2018 谓词的总和和最真实存在的可能性。 Zbl 1513.03029号 科瓦奇、斯雷奇科 1 2018 哥德尔本体论论证的莱布尼兹版本。 Zbl 1513.03018号 科杜拉,托泽卡;马钦·伊扎克 1 2018 关于斜格中的更新操作。 Zbl 1513.06015号 卡琳·Cvetko-Vah;乔·皮塔·科斯塔 1 2018 具有不确定性维度的二部真理逻辑。 Zbl 1513.03055号 O.M.格里戈里耶夫。 1 2019 有限降解结构。 Zbl 1513.03056号 安托万·劳西;杨,刘 1 2019 为这里和那里的模态逻辑奠定基础。 Zbl 1513.03038号 菲利普·巴尔比亚尼;马丁·迪盖兹;路易斯·法利尼亚斯·德尔·塞罗 1 2019 基于假设序列的论证。 兹比尔1514.68277 安娜玛丽·博格 1 2020 用许多生命介绍抽象论证。 Zbl 1514.68279号 D.加巴伊。;G.罗森伯格。;CS Ashkelon的学生 1 2020 布尔值分析的一些应用。 Zbl 1513.03080号 库斯雷夫,A.G。;库塔特拉泽,S.S。 1 2020 具有衍生歧义度量的密度矩阵。 Zbl 1513.03070号 阿德里亚娜·科雷亚。;迈克尔·穆尔特加特;Stoof,Henk T.C。 1 2020 向量空间作为克里普克帧。 Zbl 1513.03071号 朱塞佩·格雷科;梁飞;迈克尔·穆尔特加特;亚历山德拉·帕尔米吉亚诺;阿波斯托洛斯·齐莫利斯 1 2020 2020年可计算性逻辑基础。 Zbl 1513.03064号 乔治·贾帕里泽 1 2020 数学中的潜力和不确定性。 Zbl 1513.03014号 林内波,Ø恩斯坦;斯图尔特·沙普里奥 1 2020 一级牵连和二元后果系统。 Zbl 1513.03050号 雅罗斯拉夫·什兰科 1 2020 论证框架中的联合攻击和累积。 Zbl 1516.68090号 安东尼斯·比卡基斯;安德烈亚·科恩;沃尔夫冈·德沃亚克;乔治·弗洛里斯;西蒙·帕森斯 1 2021 无(lambda)高阶项的嵌入路径顺序。 Zbl 1515.03059号 亚历山大·本特坎普 1 2021 关于(mathcal{C}^infty)-约化(mathcal{C}^infty\)-环的序理论及其应用。 Zbl 1524.18025号 让·塞尔奎拉·伯尼;罗德里戈·菲格雷多;雨果·路易斯·玛丽亚诺 1 2022 \(\mathbf{G} _3个作为模态三值Heyting代数的逻辑。 Zbl 1515.03121号 马塞洛·埃斯特班(Marcelo Esteban Coniglio);阿尔多·菲加洛·奥雷拉诺;亚历杭德罗·埃尔南德斯·特洛;米盖尔·佩雷斯·加斯帕 1 2022 对Reo电路进行推理的逻辑框架。 07600000兹罗提 埃里克·格里洛;丹尼尔·托莱多;布鲁诺·洛佩斯 1 2022 忠实二次环的Horn几何公理。 Zbl 1516.11048号 雨果·拉斐尔·德·奥利维拉·里贝罗;雨果·路易斯·玛丽亚诺 1 2022 补遗:关于“双边经典逻辑规范化和一些哲学评论”的注释。 Zbl 1515.03209号 库尔比斯,尼尔斯 1 2021 多主体论证和对话。 Zbl 07659876号 柳田有坂;杰雷米·多芬;肯·佐藤;范德托雷、伦德特 1 2022 关于C。 Zbl 1515.03133号 格里戈里·奥尔霍维科夫。 1 2023 关于C。 Zbl 1515.03133号 格里戈里·奥尔霍维科夫。 1 2023 关于(mathcal{C}^infty)-约化(mathcal{C}^infty\)-环的序理论及其应用。 Zbl 1524.18025号 让·塞尔奎拉·伯尼;罗德里戈菲格雷多;雨果·路易斯·玛丽亚诺 1 2022 \(\mathbf){G} _3个作为模态三值Heyting代数的逻辑。 Zbl 1515.03121号 马塞洛·埃斯特班(Marcelo Esteban Coniglio);阿尔多·菲加洛·奥雷拉诺;亚历杭德罗·埃尔南德斯·特洛;米盖尔·佩雷斯·加斯帕 1 2022 推理Reo电路的逻辑框架。 07600000兹罗提 埃里克·格里洛;丹尼尔·托莱多;布鲁诺·洛佩斯 1 2022 忠实二次环的角几何公理。 Zbl 1516.11048号 里贝罗,雨果·拉斐尔·德·奥利维拉;雨果·路易斯·玛丽亚诺 1 2022 多主体论证和对话。 Zbl 07659876号 柳田有坂;杰雷米·多芬;肯·佐藤;范德托雷、伦德特 1 2022 双边经典逻辑的规范化和一些哲学评论。 Zbl 1515.03208号 库尔比斯,尼尔斯 4 2021 正式论证中的执行。 Zbl 1516.68088号 林戈·鲍曼;西尔维·多特;Jean-Guy,梅利;约翰·沃纳(Johannes P.Wallner)。 三 2021 Kleene强逻辑的所有三值蕴涵展开的类包含Anderson和Belnap的一阶蕴涵逻辑。 Zbl 1515.03123号 杰玛·罗伯斯 2 2021 可在o-minimal结构中定义的组:各种属性和图表。 Zbl 1515.03174号 安娜丽莎·康瓦诺 2 2021 构造模态逻辑的证明逻辑。 Zbl 1515.03098号 罗马库兹涅茨;Sonia马林;卢茨斯特拉汉堡 2 2021 弱伪EMV-代数。一: 基本属性。 Zbl 1515.06013号 安纳托利赫·德武雷·恩斯基;奥米德·扎希里 2 2021 弱伪EMV-代数。二: 表示和子变种。 Zbl 1515.06014号 安纳托利赫·德武雷·恩斯基;奥米德·扎希里 2 2021 吸引无知?去灭绝和谬论的叙述。 Zbl 1515.03030号 特鲁迪·戈维尔 2 2021 转门的两个故事。 Zbl 1515.03032号 Jespersen,比约恩 2 2021 基于假设的论证方法与优先级推理的比较研究。 Zbl 1515.68305号 杰西·海因尼克;克里斯蒂安·斯特拉瑟 2 2021 空间各向同性所隐含的世界观变换组。 Zbl 1515.51016号 Judit X·马达拉斯。;迈克·斯坦内特;谢凯利(Székely,Gergely) 2 2021 抽象论证中的高阶交互作用(两极或非两极):一种最新技术。 Zbl 1516.68092号 克劳德特·凯罗尔;安德烈亚·科恩;Marie-Christine,Lagasquie-Schiex 2 2021 抽象论证中的集体可接受性。 Zbl 1516.68089号 多萝西娅·鲍迈斯特;丹尼尔·纽格鲍尔;约尔格·罗特 2 2021 加权论证。 Zbl 1516.68091号 斯蒂法诺·比斯塔雷利;弗朗西斯科·桑蒂尼 2 2021 基于逻辑的形式论证方法。 兹比尔1516.68086 奥费尔·阿列利;安尼马里州博格;杰西·海因尼克;克里斯蒂安·斯特拉瑟 2 2021 带强否定的Gurevich扩展一阶直觉逻辑的截消、完备性和Craig插值定理。 Zbl 1515.03053号 诺里希罗·卡米德 1 2021 泛代数网状的函数性质。 Zbl 1515.08005号 乔治·乔治斯库;Kwuida,Leonard伦纳德;克劳迪娅·穆雷桑 1 2021 战略论证。 Zbl 1516.68093号 圭多州长;迈克尔·马赫(Michael J.Maher)。;弗朗西斯科·奥利维埃里 1 2021 Barbara、Darapti和Darii类型的三项三段论和双侧三段论的变体和模式。 Zbl 1515.03038号 丹·君士坦丁·拉杜列斯库 1 2021 2017年直觉主义模态逻辑前言。 Zbl 1515.03012号 1 2021 内涵、内涵递归和哥德尔-洛布公理。 Zbl 1515.03067号 卡夫沃斯,G.A。 1 2021 直观I/O操作的模式特征。 Zbl 1515.03103号 家长,Xavier 1 2021 4值逻辑PŁ4的2设置Routey语义。 Zbl 1515.03126号 杰玛·罗伯斯;何塞·梅恩德斯。 1 2021 论证框架中的联合攻击和累积。 Zbl 1516.68090号 安东尼斯·比卡基斯;安德烈亚·科恩;沃尔夫冈·德沃亚克;乔治·弗洛里斯;西蒙·帕森斯 1 2021 无(lambda)高阶项的嵌入路径顺序。 Zbl 1515.03059号 亚历山大·本特坎普 1 2021 补遗:关于“双边经典逻辑规范化和一些哲学评论”的注释。 兹比尔1515.03209 库尔比斯,尼尔斯 1 2021 准Nelson片段:两个否定。 Zbl 1513.03114号 翁贝托·里维奇奥 6 2020 一阶Nelsonian次协调量子逻辑的一些性质。 Zbl 1513.03062号 诺里希罗·卡米德 2 2020 超积和平均类。 Zbl 1513.03078号 威尔·博尼 2 2020 密度矩阵的意义更新。 兹比尔1513.03069 鲍勃·科克;康斯坦蒂诺斯·梅恰内齐迪斯 2 2020 走向普遍逻辑:格格逻辑。 Zbl 1513.03049号 纪尧姆拍卖行 2 2020 具有算子的极性和格的Morphism和对偶。 Zbl 1513.06034号 罗伯特·戈德布拉特 2 2020 空间和时间的无点理论。 Zbl 1513.03067号 迪米特·瓦卡雷洛夫 2 2020 基于假设序列的论证。 Zbl 1514.68277号 安娜玛丽·博格 1 2020 用许多生命介绍抽象论证。 Zbl 1514.68279号 D.加巴伊。;G.罗森伯格。;CS Ashkelon的学生 1 2020 布尔值分析的一些应用。 Zbl 1513.03080号 库斯雷夫,A.G。;库塔特拉泽,S.S。 1 2020 具有派生模糊度度量的密度矩阵。 Zbl 1513.03070号 阿德里亚娜·科雷亚。;迈克尔·穆尔特加特;Stoof,Henk T.C。 1 2020 矢量空间作为Kripke帧。 Zbl 1513.03071号 朱塞佩·格雷科;梁飞;迈克尔·穆尔特加特;亚历山德拉·帕尔米吉亚诺;阿波斯托洛斯·齐莫利斯 1 2020 可计算性逻辑基础2020。 Zbl 1513.03064号 乔治·贾帕里泽 1 2020 数学中的潜力和不确定性。 Zbl 1513.03014号 林内波,Ø恩斯坦;斯图尔特·沙普里奥 1 2020 一级牵连和二元后果系统。 Zbl 1513.03050号 雅罗斯拉夫·什兰科 1 2020 有限值命题逻辑的多元自然演绎。 兹比尔1513.03053 尼西姆·弗朗西兹;迈克尔·卡明斯基 4 2019 伪EMV-代数。一: 基本属性。 Zbl 1513.06028号 安纳托利赫·德武雷·恩斯基;奥米德·扎希里 4 2019 利用协议相关知识加强八卦协议。 Zbl 1524.68387号 汉斯·范·迪特马什;马尔文·加廷格;Louwe B.Kuijer。;佩雷·帕尔多 三 2019 双贝尔纳普逻辑和任何东西,但谎言。 Zbl 1513.03058号 雅罗斯拉夫·什兰科 三 2019 使用可微推理的半监督学习。 Zbl 1514.68264号 埃米尔·范·克里肯;埃曼·阿克;范·哈梅伦,弗兰克 三 2019 HOL中的I/O逻辑。 Zbl 1513.03040号 克里斯托夫·本兹穆勒;阿里·法贾米;保罗·麦德;家长,Xavier 三 2019 非单调逻辑中基于假设的方法与形式论证的关系:从结构化论证到自适应逻辑。 Zbl 1497.68459号 杰西·海因尼克 2 2019 相关的理由逻辑。 Zbl 1513.03035号 内纳德·萨维;托马斯·施图德 2 2019 伪EMV-代数。二: 代表和状态。 Zbl 1513.06029号 安纳托利赫·德武雷·恩斯基;奥米德·扎希里 2 2019 最近关于现在和应该的思考:联系、汇合和重新发现。 Zbl 1513.03012号 劳埃德·亨伯斯通 2 2019 协变-逆变精化模态逻辑。 兹比尔1513.03048 邢慧丽;朱兆辉;张金金 1 2019 新巴比伦人是否为法律诉讼构建了象征逻辑? Zbl 1513.03001号 安德鲁·舒曼 1 2019 权利与惩罚:霍菲尔德理论在理解刑法中的适用性和道德性。 Zbl 1513.03025号 马尔科维奇,雷卡 1 2019 面向教义具体化的道义论证框架。 Zbl 1514.68281号 雷吉斯·里维雷特;安东尼诺·罗托洛;乔瓦尼·萨托 1 2019 逻辑和上帝的概念。 Zbl 1513.03003号 1 2019 三位一体的逻辑问题没有新的解决方案。 Zbl 1513.03008号 Beau Branson先生 1 2019 具有不确定性维度的二部真理逻辑。 Zbl 1513.03055号 O.M.格里戈里耶夫。 1 2019 有限降解结构。 Zbl 1513.03056号 安托万·劳西;杨,刘 1 2019 为这里和那里的模态逻辑奠定基础。 Zbl 1513.03038号 菲利普·巴尔比亚尼;马丁·迪盖兹;路易斯·法利尼亚斯·德尔·塞罗 1 2019 (\Sigma_1)句子的最大熵模型。 Zbl 1513.03052号 拉德·索鲁斯·拉菲 5 2018 正式论证中的论证强度。 Zbl 1514.68276号 贝伦,马修;杰西·海因尼克;佩雷·帕尔多;克里斯蒂安·斯特拉 5 2018 空间微积分子系统的简洁性。 Zbl 1513.03043号 大卫·费尔南德斯·杜克;皮塔·伊利耶夫 4 2018 双边主义确实为经典逻辑提供了一种证明理论的处理方法(出于非技术原因)。 兹比尔1513.03103 尼西姆·弗朗西兹 三 2018 社交网络传播的灯塔原则。 Zbl 1513.03077号 萨纳兹·阿齐米普尔;帕维尔·瑙莫夫 2 2018 准完备逻辑K1——自然演绎、其自动化、复杂性和应用。 Zbl 1512.68149号 亚历山大·博洛托夫;Danil Kozhemiachenko;瓦西里·沙金 2 2018 基本循环演算I:平行连接词和选择连接词。 Zbl 1513.03075号 乔治·贾帕里泽 2 2018 布尔值模型是局部L^0凸分析和条件集理论的基础。 Zbl 1513.03079号 安东尼奥·阿维利斯;何塞·米盖尔·萨帕塔 2 2018 计算解释学案例研究:E.J.Lowe的模态本体论论证。 Zbl 1513.03009号 福恩市长,大卫;克里斯托夫·本兹穆勒 2 2018 偏序集约束满足的复杂性二分法。 Zbl 1513.08002号 迈克尔·孔帕彻;Trung Van Pham公司 2 2018 具有分级真值的超一致规则推理。 Zbl 1512.68317号 弗朗西斯科·卢卡·德·安吉利斯;乔瓦纳·迪·马尔佐·塞卢根多;萨瓦斯,安杰伊 1 2018 铃木一致性,一种替代方法。 Zbl 1513.03057号 彼得·舒斯特;丹尼尔·韦塞尔 1 2018 模态逻辑中的基本统一(KD45)。 Zbl 1513.03039号 菲利普·巴尔比亚尼;廷切夫、廷科 1 2018 多智能体系统中的建模规范说明和验证。 Zbl 1514.68304号 娜塔莎·亚历奇纳;布赖恩·洛根;迈赫迪·达斯塔尼 1 2018 不精确概率和凯恩斯“论据权重”的衡量。 兹比尔1513.03026 威廉·佩登 1 2018 论结构论证中的精英提升与一致性。 Zbl 1514.68278号 Sjur Dyrkolboton公司;佩德森,特鲁斯;简·布罗森 1 2018 本体论论证的形式方法。 Zbl 1513.03006号 1 2018 使用ZDDs对对称索引生成函数进行线性分解的精确优化方法。 Zbl 1498.68091号 Shinobu Nagayama;佐佐、通武;乔恩·巴特勒 1 2018 论康德在本体论论证批判中对存在泛化的潜在矛盾心理。 Zbl 1513.03015号 乔瓦尼·米恩 1 2018 谓词的总和和最真实存在的可能性。 Zbl 1513.03029号 科瓦奇、斯雷奇科 1 2018 哥德尔本体论论证的莱布尼兹版本。 Zbl 1513.03018号 科杜拉,托泽卡;马钦·伊扎克 1 2018 关于斜格中的更新操作。 Zbl 1513.06015号 卡琳·Cvetko-Vah;乔·皮塔·科斯塔 1 2018 所有引用出版物 前5名被引用出版物 全部的 前5名224位作者引用 7 翁贝托·里维奇奥 4 大卫·费尔南德斯·杜克 4 尼西姆·弗朗西兹 4 杰西·海宁克 4 尤尔根·兰德斯 4 汉斯·皮特·范·迪特马什 三 奥费尔·阿列利 三 安纳托利赫·德武雷·恩斯基 三 马尔文·加廷格 三 诺里希罗·卡米德 三 亚历山德拉·帕尔米吉亚诺 三 拉德·索鲁斯·拉菲 三 范德托雷,Leendert W.N。 三 海因里希·西奥多 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 安尼马里州博格 2 莱昂纳多·塞拉吉奥利 2 鲍勃·科克 2 安娜丽莎·康瓦诺 2 沃尔夫冈·德沃亚克 2 Gougeon,昆廷 2 朱塞佩·格雷科 2 迈克尔·卡明斯基 2 加布里埃尔·克恩·伊斯伯纳 2 Judit X·马达拉斯。 2 帕维尔·G·瑙莫夫。 2 大森,Hitoshi 2 佩雷·帕尔多 2 拉希姆·拉梅扎尼安 2 杰玛·罗伯斯 2 乔瓦尼·萨托 2 肯尼斯·斯基巴 2 迈克·斯坦内特 2 谢凯利(Székely,Gergely) 2 马蒂亚斯·蒂姆 2 阿波斯托洛斯·齐莫利斯 2 乔恩·威廉姆森 2 斯特凡·沃尔特兰 1 埃曼·阿克 1 马特奥·阿克拉维奥 1 阿夫沙里语、巴哈雷语 1 娜塔莎·亚历奇纳 1 Gianvincenzo阿尔法诺 1 纪尧姆拍卖行 1 萨拉·艾汉 1 萨米·巴德雷丁 1 菲利普·巴尔比亚尼 1 埃弗拉多·贝尔塞纳斯 1 彼得罗·巴罗尼 1 亚历山大·本特坎普 1 让·塞尔奎拉·伯尼 1 Bezhanishvili,尼克 1 安德烈·比拉特 1 斯蒂法诺·比斯塔雷利 1 贾斯敏·克里斯蒂安·布兰切特 1 曼纽尔·博迪尔斯基 1 威尔·博尼 1 佩德罗·卡巴拉尔 1 梅林·卡尔 1 戴维·卡塔 1 陈,陈 1 陈金生 1 陈伟伟 1 贾努斯·丘西乌拉 1 阿德里亚娜·科雷亚。 1 卡琳·Cvetko-Vah 1 Konrad Kazimierz达布罗斯基 1 法比亚诺·达尔皮亚斯 1 达斯,阿努帕姆 1 梅迪·达斯坦尼(Mehdi M.Dastani)。 1 阿图尔·达维拉·加塞斯。 1 安德烈亚·德·多梅尼科 1 吉姆·德·格罗特 1 佩德罗·伊恩兰山谷 1 戴维·德尔安纳 1 列奥尼德·尤尔埃维奇·德维亚特金 1 马克斯·迪克曼(Max A.Dickmann)。 1 德米特里耶娃,安娜 1 西尔维·多特 1 豪尔赫·范丁诺 1 路易斯·法利尼亚斯·德尔·塞罗 1 阿里·法贾米 1 费德里科·法尔迪。 1 贝蒂娜·法辛加 1 尼古拉斯·费伦茨 1 阿尔多·菲加洛·奥雷利亚诺 1 托马索·弗拉米尼奥 1 塞尔吉奥·弗莱斯卡 1 福恩市长,大卫 1 菲利波·富法罗 1 Dov M.加巴伊。 1 乔伊格登·根瑟 1 罗伯特·伊恩·戈德布拉特 1 诺伯特·格拉茨 1 塞尔吉奥·格雷科 1 亚历山大·格雷勒 1 奥列格·米哈·洛维奇·格里戈列夫 1 埃里克·格里洛 1 格罗滕胡斯,利德 1 多米尼克·霍斯曼 …还有124位作者 全部的 前5名41种期刊被引用 11 哲学逻辑杂志 9 人工智能 8 泛逻辑 7 逻辑研究 7 应用非经典逻辑杂志 4 纯逻辑与应用逻辑年鉴 4 国际近似推理杂志 4 逻辑、语言与信息杂志 4 Logicheskie Issledovaniya公司 三 合成 三 逻辑科公报 三 数学与人工智能年鉴 三 ACM计算逻辑事务 2 模糊集与系统 2 MSCS公司。计算机科学中的数学结构 2 数学逻辑季刊(MLQ) 2 人工智能研究杂志 2 伊朗模糊系统杂志 2 计算机科学中的逻辑方法 2 符号逻辑综述 1 代数通讯 1 数学基础 1 信息科学 1 代数杂志 1 符号逻辑杂志 1 圣母院形式逻辑杂志 1 美国数学学会会刊 1 理论计算机科学 1 逻辑历史与哲学 1 信息与计算 1 数学逻辑档案 1 Indagationes Mathematicae公司。新系列 1 软计算 1 逻辑与逻辑哲学 1 量子信息处理 1 VladikavkazskiĭMatematicheskiĮZhurnal 1 多值逻辑与软计算杂志 1 应用逻辑杂志 1 对离散数学的贡献 1 逻辑与分析杂志 1 马哈尼数学研究中心期刊 全部的 前5名在24个字段中引用 96 数学逻辑和基础(03-XX) 43 计算机科学(68至XX) 11 阶、格、有序代数结构(06-XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 4 一般拓扑结构(54至XX) 三 一般代数系统(08-XX) 三 交换代数(13-XX) 三 结合环与代数(16-XX) 三 范畴理论;同调代数(18-XX) 三 拓扑群、李群(22日至XX日) 2 历史和传记(01-XX) 2 场论和多项式(12-XX) 2 群论与推广(20-XX) 2 功能分析(46倍X倍) 2 量子理论(81-XX) 2 相对论和引力理论(83至XX) 2 运筹学、数学规划(90-XX) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 1 数论(11-XX) 1 测量和集成(28-XX) 1 动力系统和遍历理论(37至XX) 1 概率论与随机过程(60-XX) 1 数学教育(97-XX) 按年份列出的引文