编辑配置文件(在新选项卡中打开) 乔治·梅特卡夫 合著者距离 作者ID: 梅特卡夫乔治 发布日期: 乔治·梅特卡夫 外部链接: MGP公司 已编制索引的文档: 77出版物自2002年以来,包括2本书和5个附加arXiv预打印 4作为编辑的贡献 合著者: 38位合著者具有74联合出版物 679合著作者 全部的 前5名合著者 5 单作者的 11 尼古拉·奥利维蒂 9 Dov M.加巴伊。 8 彼得·辛图拉 6 西蒙·桑斯基 6 君士坦丁·齐纳基斯 5 蝉蜕、阿加塔 4 泽维尔·凯塞多 4 阿尔穆德娜·科拉西托 4 丹尼萨·迪亚科内斯库 4 罗德里格斯,里卡多·奥斯卡 4 范古尔,塞缪尔·雅各布 三 马提亚斯·巴兹 三 莱昂纳多·曼纽尔·卡布勒 三 尼古拉斯·加拉托斯 三 阿德里安·瓜托 三 罗莎莉,伊姆霍夫 三 佛朗哥·蒙塔格纳 三 克里斯托夫·Röthlisberger 三 内奥米·德田 三 星期二,奥利姆弗里茨 2 Fermüller,Christian G。 2 韦斯利·福斯纳 2 吉尔费雷斯,何塞 2 托马斯·科瓦尔斯基 2 米歇尔·马蒂 2 弗朗西斯科·保利 2 乔纳斯·罗格 2 劳拉·施努里格 1 古拉姆·贝扎尼什维利 1 凯·布伦勒 1 乔瓦娜·达戈斯蒂诺 1 本杰明·弗赖斯伯格 1 彼得·吉普森 1 弗雷德里克·莫勒斯特罗姆·劳里德森 1 恩里科·马尔基奥尼 1 希拉里·普里斯特利(Hilary A.Priestley)。 1 卢卡·雷吉奥 1 托马斯·施图德 全部的 前5名系列 5 纯逻辑与应用逻辑年鉴 5 计算机科学中的逻辑方法 4 逻辑与计算杂志 4 数学逻辑档案 三 代数杂志 2 纯粹与应用代数杂志 2 符号逻辑杂志 2 圣母院形式逻辑杂志 2 Studia Logica公司 2 理论计算机科学 2 软计算 2 ACM计算逻辑事务 1 国际传热传质杂志 1 代数普遍性 1 模糊集与系统 1 计算机与系统科学杂志 1 逻辑科公报 1 信息与计算 1 数学逻辑季刊(MLQ) 1 IGPL逻辑杂志 1 混乱 1 RACSAM公司。《科学与自然》Ciencias Exactas皇家科学院修订版。意甲:马特马斯 1 计算机科学课堂讲稿 1 数学调查和专著 1 应用逻辑系列 全部的 前5名领域 72 数学逻辑和基础(03-XX) 19 阶、格、有序代数结构(06-XX) 10 一般代数系统(08-XX) 9 计算机科学(68至XX) 4 总体主题;集合(00-XX) 2 动力系统和遍历理论(37至XX) 1 场论和多项式(12-XX) 1 结合环与代数(16-XX) 1 群论与推广(20-XX) 1 差分方程和函数方程(39至XX) 1 流体力学(76-XX) 1 经典热力学,传热(80-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 61出版物有被引用611中的次350文件 引用人▼ 年份▼ 模糊逻辑的证明理论。 Zbl 1168.03002号 乔治·梅特卡夫;尼古拉·奥利维蒂;Dov Gabbay公司 69 2009 子结构模糊逻辑。 兹伯利1139.03017 乔治·梅特卡夫;佛朗哥·蒙塔格纳 67 2007 基于\([0,1)\)-连续单形的模糊逻辑。 Zbl 1128.03015号 Dov Gabbay公司;乔治·梅特卡夫 33 2007 可容许规则的证明理论。 Zbl 1174.03024号 罗莎莉,伊姆霍夫;乔治·梅特卡夫 32 2009 有序代数中的合并和插值。 Zbl 1318.06012号 乔治·梅特卡夫;佛朗哥·蒙塔格纳;君士坦丁·齐纳基斯 27 2014 直觉主义逻辑含意否定片断中的可容许规则。 Zbl 1225.03011号 彼得·辛图拉;乔治·梅特卡夫 24 2010 MTL及其扩展的真值压力因子的代数和证明理论特征。 Zbl 1190.03026号 蝉蜕、阿加塔;乔治·梅特卡夫;佛朗哥·蒙塔格纳 23 2010 阿贝尔和Łukasiewicz逻辑的序贯和超序贯计算。 兹比尔1407.03037 乔治·梅特卡夫;尼古拉·奥利维蒂;Dov Gabbay公司 19 2005 模糊逻辑中的结构完备性。 Zbl 1190.03027号 彼得·辛图拉;乔治·梅特卡夫 18 2009 模糊逻辑的统一规则和对话游戏。 Zbl 1109.03019号 蝉蜕、阿加塔;Fermüller,Christian G。;乔治·梅特卡夫 15 2005 密度消除。 Zbl 1206.03027号 蝉蜕、阿加塔;乔治·梅特卡夫 15 2008 有序代数和逻辑。 Zbl 1202.03067号 乔治·梅特卡夫;弗朗西斯科·保利;君士坦丁·齐纳基斯 14 2010 走向哥德尔模态逻辑的证明理论。 兹比尔1266.03044 乔治·梅特卡夫;尼古拉·奥利维蒂 14 2011 有限生成拟变种的可容许性。 Zbl 1297.03009号 乔治·梅特卡夫;克里斯托夫·Röthlisberger 13 2013 贾尔斯博弈与Łukasiewicz逻辑的证明理论。 Zbl 1185.03041号 Fermüller,Christian G。;乔治·梅特卡夫 12 2009 基于订单的模态逻辑的可判定性。 Zbl 1423.03056号 泽维尔·凯塞多;乔治·梅特卡夫;里卡多·罗德里格斯;乔纳斯·罗格 12 2017 一阶Łukasiewicz逻辑的Herbrand定理、Skolemization和证明系统。 Zbl 1188.03014号 马提亚斯·巴兹;乔治·梅特卡夫 11 2010 半线性子结构逻辑的Craig插值。 Zbl 1273.03075号 恩里科·马尔基奥尼;乔治·梅特卡夫 11 2012 通过自然二重性的可接纳性。 Zbl 1346.08005号 莱昂纳多·卡布雷;乔治·梅特卡夫 11 2015 一致插值和紧同余。 Zbl 1422.03061号 Samuel J.van Gool。;乔治·梅特卡夫;君士坦丁·齐纳基斯 10 2017 幂等剩余格的结构定理。 Zbl 1481.06033号 吉尔费雷斯,何塞;彼得·吉普森;乔治·梅特卡夫 9 2020 哥德尔模态逻辑的有限模型性质。 Zbl 1395.03008号 泽维尔·凯塞多;乔治·梅特卡夫;里卡多·罗德里格斯;乔纳斯·罗格 8 2013 模态逻辑和中间逻辑的容许规则的超序列系统。 Zbl 1211.03037号 罗莎莉,伊姆霍夫;乔治·梅特卡夫 8 2009 产品逻辑的分析计算。 Zbl 1066.03036号 乔治·梅特卡夫;尼古拉·奥利维蒂;Dov Gabbay公司 8 2004 多值模态逻辑的Hennessy-Milner属性。 Zbl 1385.03024号 米歇尔·马蒂;乔治·梅特卡夫 7 2014 统一插值和一致性。 Zbl 1532.03027号 托马斯·科瓦尔斯基;乔治·梅特卡夫 7 2019 数学模糊逻辑的证明理论。 Zbl 1284.03187号 乔治·梅特卡夫 7 2011 基于链的模态逻辑中的表达性。 Zbl 1522.03056号 米歇尔·马蒂;乔治·梅特卡夫 6 2018 哥德尔模态逻辑的证明系统。 Zbl 1260.03053号 乔治·梅特卡夫;尼古拉·奥利维蒂 5 2009 有界Łukasiewicz逻辑。 Zbl 1274.03042号 蝉蜕、阿加塔;乔治·梅特卡夫 5 2003 子结构逻辑的Herbrand定理。 Zbl 1408.03016号 彼得·辛图拉;乔治·梅特卡夫 5 2013 强否定作为子结构逻辑的构造逻辑的序列演算。 Zbl 1286.03154号 乔治·梅特卡夫 5 2009 可接受的规则:从特征到应用。 Zbl 1362.03010号 乔治·梅特卡夫 5 2012 R-mingle片段的Avron规则。 Zbl 1444.03083号 乔治·梅特卡夫 5 2016 粘性流体和非牛顿流体中的低雷诺数标量输运增强。 兹比尔1156.80345 莱斯特,D.R。;鲁德曼,M。;梅特卡夫,G。 5 2009 重新审视密度。 Zbl 1396.03060号 乔治·梅特卡夫;君士坦丁·齐纳基斯 5 2017 一阶逻辑的密度消去和有理完备性。 Zbl 1133.03028号 蝉蜕、阿加塔;乔治·梅特卡夫 4 2007 有序群与格序群的有效性。 Zbl 07094341号 阿尔穆德娜·科拉西托;乔治·梅特卡夫 4 2019 Corsi逻辑的单变量片段。 Zbl 1530.03076号 泽维尔·凯塞多;乔治·梅特卡夫;里卡多·罗德里格斯;奥利姆·图伊特 4 2019 超序列和模糊逻辑。 Zbl 1070.03012号 Dov Gabbay公司;乔治·梅特卡夫;尼古拉·奥利维蒂 4 2004 De Morgan代数中的可容许性。 Zbl 1281.06009号 乔治·梅特卡夫;克里斯托夫·Röthlisberger 4 2012 Gödel-Dummett逻辑的目标导向计算。 Zbl 1116.03309号 乔治·梅特卡夫;尼古拉·奥利维蒂;Dov Gabbay公司 4 2003 实值模态逻辑。 Zbl 1459.03021号 丹尼萨·迪亚科内斯库;乔治·梅特卡夫;劳拉·施努里格 4 2018 使用自然二重性检查可接受性。 Zbl 1407.03010号 莱昂纳多·卡布雷(Leonardo M.Cabrer)。;本杰明·弗赖斯伯格;乔治·梅特卡夫;希拉里·普里斯特利(Hilary A.Priestley)。 三 2019 Łukasiewicz逻辑:从证明系统到逻辑编程。 Zbl 1091.03008号 乔治·梅特卡夫;尼古拉·奥利维蒂;Dov Gabbay公司 三 2005 Abelian和Łukasiewicz逻辑的分析序列计算。 Zbl 1016.03058号 乔治·梅特卡夫;尼古拉·奥利维蒂;Dov Gabbay公司 三 2002 三维混沌流体流动中的分岔和退化周期点。 Zbl 1361.37027号 L.D.史密斯。;鲁德曼,M。;D.R.莱斯特。;梅特卡夫,G。 三 2016 格序群的证明理论。 Zbl 1348.06011号 尼古拉斯·加拉托斯;乔治·梅特卡夫 三 2016 卡萨里比较逻辑的证明理论。 Zbl 1113.03019号 乔治·梅特卡夫 三 2006 从分配\(\ell\)-幺半群到\(\ll\)-群,然后再返回。 Zbl 07503710号 阿尔穆德娜·科拉西托;尼古拉斯·加拉托斯;乔治·梅特卡夫;西蒙·桑奇 三 2022 证明理论和有序群。 Zbl 1496.03227号 阿尔穆德娜·科拉西托;乔治·梅特卡夫 三 2017 实值模态逻辑公理化。 Zbl 1400.03039号 丹尼萨·迪亚科内斯库;乔治·梅特卡夫;劳拉·施努里格 三 2016 精确统一和可接受性。 Zbl 1384.08001号 莱昂纳多·卡布雷;乔治·梅特卡夫 三 2015 Herbrand定理和prenex模糊逻辑的Skolemization。 Zbl 1142.03340号 马提亚斯·巴兹;乔治·梅特卡夫 2 2008 子结构逻辑的Skolemization。 Zbl 1471.03054号 彼得·辛图拉;丹尼萨·迪亚科内斯库;乔治·梅特卡夫 2 2015 代数和逻辑中的剩余结构。 Zbl 07759245号 乔治·梅特卡夫;弗朗西斯科·保利;君士坦丁·齐纳基斯 2 2023 格值逻辑的Skolemization和Herbrand定理。 Zbl 1472.03022号 彼得·辛图拉;丹尼萨·迪亚科内斯库;乔治·梅特卡夫 1 2019 模糊逻辑的范式:一种证明理论方法。 Zbl 1114.03016号 彼得·辛图拉;乔治·梅特卡夫 1 2007 使用分析表和相关方法进行自动推理。2011年7月4日至8日,瑞士伯尔尼,第20届国际会议,TABLEAUX 2011。诉讼程序。 Zbl 1216.68022号 1 2011 积分闭剩余格。 Zbl 1486.03114号 吉尔费雷斯,何塞;弗雷德里克·莫勒斯特罗姆·劳里德森;乔治·梅特卡夫 1 2020 时间扭曲,从代数到算法。 Zbl 07670526号 萨姆·范古尔;阿德里安·瓜托;乔治·梅特卡夫;西蒙·桑斯基 1 2021 代数和逻辑中的剩余结构。 Zbl 07759245号 乔治·梅特卡夫;弗朗西斯科·保利;君士坦丁·齐纳基斯 2 2023 从分配\(\ell\)-幺半群到\(\ll\)-群,然后再返回。 兹伯利07503710 阿尔穆德娜·科拉西托;尼古拉斯·加拉托斯;乔治·梅特卡夫;西蒙·桑斯基 三 2022 时间扭曲,从代数到算法。 Zbl 07670526号 萨姆·范古尔;阿德里安·瓜托;乔治·梅特卡夫;西蒙·桑斯基 1 2021 幂等剩余格的结构定理。 兹比尔1481.06033 吉尔费雷斯,何塞;彼得·吉普森;乔治·梅特卡夫 9 2020 积分闭剩余格。 Zbl 1486.03114号 吉尔费雷斯,何塞;弗雷德里克·莫勒斯特罗姆·劳里德森;乔治·梅特卡夫 1 2020 统一插值和一致性。 Zbl 1532.03027号 托马斯·科瓦尔斯基;乔治·梅特卡夫 7 2019 有序群与格序群的有效性。 Zbl 07094341号 阿尔穆德娜·科拉西托;乔治·梅特卡夫 4 2019 Corsi逻辑的单变量片段。 Zbl 1530.03076号 泽维尔·凯塞多;乔治·梅特卡夫;里卡多·罗德里格斯;奥利姆·图伊特 4 2019 使用自然二重性检查可接受性。 Zbl 1407.03010号 莱昂纳多·卡布雷(Leonardo M.Cabrer)。;本杰明·弗赖斯伯格;乔治·梅特卡夫;希拉里·普里斯特利(Hilary A.Priestley)。 三 2019 格值逻辑的Skolemization和Herbrand定理。 Zbl 1472.03022号 彼得·辛图拉;丹尼萨·迪亚科内斯库;乔治·梅特卡夫 1 2019 基于链的模态逻辑中的表达性。 Zbl 1522.03056号 米歇尔·马蒂;乔治·梅特卡夫 6 2018 实值模态逻辑。 Zbl 1459.03021号 丹尼萨·迪亚科内斯库;乔治·梅特卡夫;劳拉·施努里格 4 2018 基于订单的模态逻辑的可判定性。 Zbl 1423.03056号 泽维尔·凯塞多;乔治·梅特卡夫;里卡多·罗德里格斯;乔纳斯·罗格 12 2017 一致插值和紧同余。 Zbl 1422.03061号 Samuel J.van Gool。;乔治·梅特卡夫;君士坦丁·齐纳基斯 10 2017 重新审视密度。 Zbl 1396.03060号 乔治·梅特卡夫;君士坦丁·齐纳基斯 5 2017 证明理论和有序群。 Zbl 1496.03227号 阿尔穆德娜·科拉西托;乔治·梅特卡夫 三 2017 R-mingle片段的Avron规则。 Zbl 1444.03083号 乔治·梅特卡夫 5 2016 三维混沌流体流动中的分岔和退化周期点。 Zbl 1361.37027号 L.D.史密斯。;鲁德曼,M。;D.R.莱斯特。;梅特卡夫,G。 三 2016 格序群的证明理论。 Zbl 1348.06011号 尼古拉斯·加拉托斯;乔治·梅特卡夫 三 2016 实值模态逻辑公理化。 Zbl 1400.03039号 丹尼萨·迪亚科内斯库;乔治·梅特卡夫;劳拉·施努里格 三 2016 通过自然二重性的可接纳性。 Zbl 1346.08005号 莱昂纳多·卡布雷;乔治·梅特卡夫 11 2015 精确统一和可接受性。 兹比尔1384.08001 卡比尔,莱昂纳多;乔治·梅特卡夫 三 2015 子结构逻辑的Skolemization。 Zbl 1471.03054号 彼得·辛图拉;丹尼萨·迪亚科内斯库;乔治·梅特卡夫 2 2015 有序代数中的合并和插值。 Zbl 1318.06012号 乔治·梅特卡夫;佛朗哥·蒙塔格纳;君士坦丁·齐纳基斯 27 2014 多值模态逻辑的Hennessy-Milner属性。 Zbl 1385.03024号 米歇尔·马蒂;乔治·梅特卡夫 7 2014 有限生成拟变元中的可容许性。 Zbl 1297.03009号 乔治·梅特卡夫;克里斯托夫·Röthlisberger 13 2013 哥德尔模态逻辑的有限模型性质。 Zbl 1395.03008号 泽维尔·凯塞多;乔治·梅特卡夫;里卡多·罗德里格斯;乔纳斯·罗格 8 2013 子结构逻辑的Herbrand定理。 Zbl 1408.03016号 彼得·辛图拉;乔治·梅特卡夫 5 2013 半线性子结构逻辑的Craig插值。 Zbl 1273.03075号 恩里科·马尔基奥尼;乔治·梅特卡夫 11 2012 可接受的规则:从特征到应用。 Zbl 1362.03010号 乔治·梅特卡夫 5 2012 De Morgan代数中的可容许性。 Zbl 1281.06009号 乔治·梅特卡夫;克里斯托夫·Röthlisberger 4 2012 走向哥德尔模态逻辑的证明理论。 Zbl 1266.03044号 乔治·梅特卡夫;尼古拉·奥利维蒂 14 2011 数学模糊逻辑的证明理论。 Zbl 1284.03187号 乔治·梅特卡夫 7 2011 使用分析表和相关方法进行自动推理。2011年7月4日至8日,瑞士伯尔尼,第20届国际会议,TABLEAUX 2011。诉讼程序。 Zbl 1216.68022号 1 2011 直觉主义逻辑含意否定片断中的可容许规则。 Zbl 1225.03011号 彼得·辛图拉;乔治·梅特卡夫 24 2010 MTL及其扩展的真值压力因子的代数和证明理论特征。 Zbl 1190.03026号 蝉蜕、阿加塔;乔治·梅特卡夫;佛朗哥·蒙塔格纳 23 2010 有序代数和逻辑。 兹比尔1202.03067 乔治·梅特卡夫;弗朗西斯科·保利;君士坦丁·齐纳基斯 14 2010 一阶Łukasiewicz逻辑的Herbrand定理、Skolemization和证明系统。 Zbl 1188.03014号 马提亚斯·巴兹;乔治·梅特卡夫 11 2010 模糊逻辑的证明理论。 Zbl 1168.03002号 乔治·梅特卡夫;尼古拉·奥利维蒂;Dov Gabbay公司 69 2009 可容许规则的证明理论。 Zbl 1174.03024号 罗莎莉,伊姆霍夫;乔治·梅特卡夫 32 2009 模糊逻辑中的结构完备性。 兹比尔1190.03027 彼得·辛图拉;乔治·梅特卡夫 18 2009 贾尔斯博弈与Łukasiewicz逻辑的证明理论。 Zbl 1185.03041号 Fermüller,Christian G。;乔治·梅特卡夫 12 2009 模态逻辑和中间逻辑的可容许规则的超序列系统。 Zbl 1211.03037号 罗莎莉,伊姆霍夫;乔治·梅特卡夫 8 2009 哥德尔模态逻辑的证明系统。 Zbl 1260.03053号 乔治·梅特卡夫;尼古拉·奥利维蒂 5 2009 强否定作为子结构逻辑的构造逻辑的序列演算。 Zbl 1286.03154号 乔治·梅特卡夫 5 2009 粘性流体和非牛顿流体中的低雷诺数标量输运增强。 Zbl 1156.80345号 D.R.莱斯特。;鲁德曼,M。;梅特卡夫,G。 5 2009 密度消除。 Zbl 1206.03027号 蝉蜕、阿加塔;乔治·梅特卡夫 15 2008 Herbrand定理和prenex模糊逻辑的Skolemization。 Zbl 1142.03340号 马提亚斯·巴兹;乔治·梅特卡夫 2 2008 子结构模糊逻辑。 兹伯利1139.03017 乔治·梅特卡夫;佛朗哥·蒙塔格纳 67 2007 基于\([0,1)\)-连续单形的模糊逻辑。 Zbl 1128.03015号 Dov Gabbay公司;乔治·梅特卡夫 33 2007 一阶逻辑的密度消去和有理完备性。 Zbl 1133.03028号 蝉蜕、阿加塔;乔治·梅特卡夫 4 2007 模糊逻辑的范式:一种证明理论方法。 Zbl 1114.03016号 彼得·辛图拉;乔治·梅特卡夫 1 2007 卡萨里比较逻辑的证明理论。 Zbl 1113.03019号 乔治·梅特卡夫 三 2006 阿贝尔和Łukasiewicz逻辑的序贯和超序贯计算。 Zbl 1407.03037号 乔治·梅特卡夫;尼古拉·奥利维蒂;Dov Gabbay公司 19 2005 模糊逻辑的统一规则和对话游戏。 Zbl 1109.03019号 蝉蜕、阿加塔;Fermüller,Christian G。;乔治·梅特卡夫 15 2005 Łukasiewicz逻辑:从证明系统到逻辑编程。 Zbl 1091.03008号 乔治·梅特卡夫;尼古拉·奥利维蒂;Dov Gabbay公司 三 2005 产品逻辑的分析计算。 Zbl 1066.03036号 乔治·梅特卡夫;尼古拉·奥利维蒂;Dov Gabbay公司 8 2004 超序列和模糊逻辑。 Zbl 1070.03012号 Dov Gabbay公司;乔治·梅特卡夫;尼古拉·奥利维蒂 4 2004 有界Łukasiewicz逻辑。 Zbl 1274.03042号 蝉蜕、阿加塔;乔治·梅特卡夫 5 2003 Gödel-Dummett逻辑的目标导向计算。 Zbl 1116.03309号 乔治·梅特卡夫;尼古拉·奥利维蒂;Dov Gabbay公司 4 2003 Abelian和Łukasiewicz逻辑的分析序列计算。 Zbl 1016.03058号 乔治·梅特卡夫;尼古拉·奥利维蒂;Dov Gabbay公司 三 2002 所有引用出版物 前5名被引用出版物 全部的 前5名310位作者引用 32 乔治·梅特卡夫 14 安德烈·因德泽扎克(Andrzej Indrzejczak) 13 罗莎莉,伊姆霍夫 12 彼得·辛图拉 12 佛朗哥·蒙塔格纳 11 尼古拉斯·加拉托斯 11 卡莱斯·诺格拉 10 蝉蜕、阿加塔 10 詹姆斯·拉弗瑞。 10 君士坦丁·齐纳基斯 10 王竹登 9 弗朗西斯科·保利 9 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 8 吉尔费雷斯,何塞 8 桑多·杰内 7 Fermüller,Christian G。 7 刘华文 7 托马索·莫拉希尼 7 王三民 7 杨恩斯克 6 亚历克斯·西特金 6 阿尔穆德娜·科拉西托 6 西尔维奥·吉拉尔迪 6 安东尼奥·莱达 5 马提亚斯·巴兹 5 莱昂纳多·曼纽尔·卡布勒 5 泽维尔·凯塞多 5 弗朗西斯科·埃斯特瓦 5 琼·吉斯佩特 5 杰伦·古德米特(Jeroen P.Goudsmit)。 5 郝、小英 5 彼得·吉普森 5 牛美霞 5 罗德里格斯,里卡多·奥斯卡 5 阿曼达·维达尔 4 阿诺·阿夫隆 4 吉列尔莫·巴迪亚 4 马蒂奥·比安奇 4 韦斯利·福斯纳 4 Aleksandr Sergeevich,Gerasimov 4 亚历山德罗·吉亚诺拉 4 路易斯·戈多 4 恩里科·马尔基奥尼 4 阮林安 4 希拉里·普里斯特利(Hilary A.Priestley)。 4 琼·托伦斯 三 斯特凡诺·阿古佐利 三 保罗·巴尔迪 三 尼克·贝扎尼什维利 三 贝尔科娃,玛尔塔 三 迭戈·卡尔瓦内斯 三 卡斯塔尼奥,迭戈·尼科拉斯 三 皮拉尔·德尔隆德 三 托马索·弗拉米尼奥 三 罗伯特·弗雷曼 三 Dov M.加巴伊。 三 天使加西亚·塞尔达尼亚 三 齐格弗里德·戈特瓦尔德 三 Zuzana Haniková 三 蒂莫·朗 三 马可·蒙塔利 三 尼古拉·奥利维蒂 三 阿列克桑德拉·米哈·巴夫洛娃 三 卢卡·雷吉奥 三 安德烈·里夫金 三 西蒙·桑斯基 三 MichałMarek,Stronkowski 三 苏勇(Su,Yong) 三 川崎捷瑞 三 星期二,奥利姆弗里茨 三 萨拉·乌戈里尼 三 范古尔,塞缪尔·雅各布 三 Johann J.Wannenburg。 2 保罗·阿格里亚诺 2 胡安·巴勃罗·阿奎莱拉 2 纳塔内尔·阿尔佩 2 奥费尔·阿列利 2 菲利普·巴尔比亚尼 2 斯蒂芬·伊戈列维奇·巴什马科夫 2 古拉姆·贝扎尼什维利 2 米克尔波菲尔 2 Miguel A.Campercholi。 2 卢卡·卡莱 2 卡塞莱斯·科斯塔,维森特 2 Çaylı,居尔·德尼兹 2 伊凡·查伊达 2 丹尼萨·迪亚科内斯库 2 迪亚斯·瓦雷拉,何塞·帕特里西奥 2 博格丹·迪彻 2 沃伊切赫·Dzik 2 方、金萱 2 奥利弗·法辛 2 萨宾·弗里特拉 2 乔伊格登·根瑟 2 罗斯季斯拉夫·霍奇克 2 埃米尔·杰瓦贝克 2 托马斯·科瓦尔斯基 2 Daniel Kozhemiachenko 2 奥里·拉哈夫 2 比约恩·莱尔曼 …还有210多名作者 全部的 前5名55篇连载文章中引用 51 模糊集与系统 27 纯逻辑与应用逻辑年鉴 24 Studia Logica公司 16 数学逻辑档案 14 软计算 12 代数普遍性 10 国际近似推理杂志 10 符号逻辑述评 9 纯粹与应用代数杂志 8 理论计算机科学 8 逻辑与逻辑哲学 7 代数杂志 7 数学逻辑季刊(MLQ) 6 符号逻辑杂志 6 泛逻辑 5 信息科学 5 哲学逻辑杂志 5 圣母院形式逻辑杂志 5 自动推理杂志 4 合成 4 计算机科学中的逻辑方法 三 凯贝内提卡 三 符号逻辑公报 三 智能与模糊系统杂志 三 对称 三 西伯利亚联邦大学学报。数学与物理 2 代数与逻辑 2 斯洛伐克数学 2 西伯利亚数学杂志 2 逻辑科公报 2 信息与计算 2 应用非经典逻辑杂志 2 ACM计算逻辑事务 2 应用逻辑杂志 2 伊朗模糊系统杂志 1 人工智能 1 代数通讯 1 国际通用系统杂志 1 信息处理信件 1 计算机与系统科学杂志 1 美国数学学会会刊 1 拓扑及其应用 1 订单 1 神经网络 1 机器学习 1 国际代数与计算杂志 1 MSCS公司。计算机科学中的数学结构 1 《亨利·彭加莱学院年鉴》。概率与统计 1 Indagationes Mathematicae公司。新系列 1 逻辑、语言与信息杂志 1 Matematicheskie Trudy公司 1 洛巴切夫斯基数学杂志 1 国际不确定性、模糊性和基于知识的系统杂志 1 Oberwolfach报告 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 全部的 前5名26个领域被引用 305 数学逻辑和基础(03-XX) 75 阶、格、有序代数结构(06-XX) 57 计算机科学(68至XX) 40 一般代数系统(08-XX) 10 博弈论、经济学、金融和其他社会和行为科学(91-XX) 5 一般拓扑结构(54至XX) 4 群论与推广(20-XX) 4 差分方程和函数方程(39至XX) 三 历史和传记(01-XX) 三 范畴理论;同调代数(18-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 数论(11-XX) 1 场论和多项式(12-XX) 1 代数几何(14-XX) 1 测量和集成(28-XX) 1 近似值和展开值(41至XX) 1 功能分析(46倍X倍) 1 凸和离散几何(52至XX) 1 流形和细胞复合体(57至XX) 1 概率论与随机过程(60-XX) 1 统计学(62-XX) 1 统计力学,物质结构(82-XX) 1 生物学和其他自然科学(92-XX) 1 信息与通信理论、电路(94-XX) 1 数学教育(97-XX) 按年份列出的引文