编辑配置文件(在新选项卡中打开) 格雷厄姆·埃米尔·利 合著者距离 作者ID: leigh.graham-emil公司 发布日期: 格雷厄姆·E·利。;格雷厄姆·埃米尔·利;G.E.李。 更多。。。较少的 已编制索引的文档: 20出版物自2010年起,包括2个附加arXiv预打印 审查活动: 8条评论 合著者: 12位合著者具有17联合出版物 143位合作作者 全部的 前5名合著者 三 单作者的 10 阿夫沙里,巴哈雷 4 斯特凡·赫兹尔 2 吉列尔莫·门德斯·图拉塔 2 迈克尔·拉特扬 1 保罗·戈博(Paul K.Gorbow)。 1 马蒂亚斯·格兰贝格·奥尔森 1 莱昂·霍斯顿 1 杰格,格哈德 1 汉内斯·莱特盖布 1 卡洛·尼古莱 1 多米尼克·韦尔 1 菲利普·韦尔奇。 系列 三 符号逻辑述评 2 符号逻辑杂志 2 纯逻辑与应用逻辑年鉴 2 数学逻辑档案 领域 17 数学逻辑和基础(03-XX) 5 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用88中的次74文件 引用人▼ 年份▼ 模态微积分的无切割完备性。 Zbl 1452.03055号 阿夫沙里,巴哈雷;格雷厄姆·李(Graham E.Leigh)。 20 2017 通过切割消除实现成分真实性理论的保守性。 Zbl 1376.03056号 格雷厄姆·李(Graham E.Leigh)。 18 2015 对自我参照真理理论的序贯分析。 Zbl 1194.03051号 格雷厄姆·埃米尔·利;迈克尔·拉特扬 11 2010 公理真理、句法和元理论推理。 Zbl 1350.03010号 格雷厄姆·李(Graham E.Leigh)。;卡洛·尼古莱 7 2013 Herbrand析取、割消和无上下文树文法。 Zbl 1366.03235号 阿夫沙里,巴哈雷;斯特凡·赫兹尔;格雷厄姆·李(Graham E.Leigh)。 7 2015 重新修订。 Zbl 1304.03020号 莱昂·霍斯顿;格雷厄姆·E·利。;汉内斯·莱特盖布;菲利普·韦尔奇 7 2012 具有\(\Pi_2)-割的一阶证明的Herbrand汇合。 Zbl 1433.03133号 阿夫沙里,巴哈雷;斯特凡·赫兹尔;格雷厄姆·李(Graham E.Leigh)。 4 2016 Herbrand定理为高阶递归。 Zbl 1464.03085号 阿夫沙里,巴哈雷;斯特凡·赫兹尔;格雷厄姆·李(Graham E.Leigh)。 4 2020 关于模态演算的闭包序数。 兹伯利1356.03064 阿夫沙里,巴哈雷;格雷厄姆·李(Graham E.Leigh)。 三 2013 直觉主义逻辑中的弗里德曼-谢尔程序。 Zbl 1248.03081号 格雷厄姆·李(Graham E.Leigh)。;迈克尔·拉特扬 2 2012 循环证明中的一致插值:模态多演算的情况。 兹伯利07532525 阿夫沙里,巴哈雷;格雷厄姆·李(Graham E.Leigh)。;吉列尔莫·门德斯·图拉塔 2 2021 完整微积分的无限处理。 Zbl 1530.03071号 阿夫沙里,巴哈雷;贾格尔,格哈德;格雷厄姆·李(Graham E.Leigh)。 1 2019 经典真理原则的证明理论说明。 Zbl 1322.03039号 G.E.李。 1 2013 关于LK的Herbrand内容。 Zbl 1482.03014号 阿夫沙里,巴哈雷;斯特凡·赫兹尔;格雷厄姆·李(Graham E.Leigh)。 1 2016 循环证明中的一致插值:模态多演算的情况。 Zbl 07532525号 阿夫沙里,巴哈雷;格雷厄姆·李(Graham E.Leigh)。;吉列尔莫·门德斯·图拉塔 2 2021 Herbrand定理为高阶递归。 Zbl 1464.03085号 阿夫沙里,巴哈雷;斯特凡·赫兹尔;格雷厄姆·李(Graham E.Leigh)。 4 2020 完整微积分的无限处理。 Zbl 1530.03071号 阿夫沙里,巴哈雷;贾格尔,格哈德;格雷厄姆·E·利。 1 2019 模态微积分的无切割完备性。 Zbl 1452.03055号 阿夫沙里,巴哈雷;格雷厄姆·李(Graham E.Leigh)。 20 2017 具有\(\Pi_2)-割的一阶证明的Herbrand汇合。 Zbl 1433.03133号 阿夫沙里,巴哈雷;斯特凡·赫兹尔;格雷厄姆·李(Graham E.Leigh)。 4 2016 关于LK的Herbrand内容。 Zbl 1482.03014号 阿夫沙里,巴哈雷;斯特凡·赫兹尔;格雷厄姆·李(Graham E.Leigh)。 1 2016 通过截除的组合真理理论的保守性。 Zbl 1376.03056号 格雷厄姆·李(Graham E.Leigh)。 18 2015 Herbrand析取、割消和无上下文树文法。 Zbl 1366.03235号 阿夫沙里,巴哈雷;斯特凡·赫兹尔;格雷厄姆·李(Graham E.Leigh)。 7 2015 公理真理、句法和元理论推理。 兹比尔1350.03010 格雷厄姆·李(Graham E.Leigh)。;卡洛·尼古莱 7 2013 关于模态演算的闭包序数。 Zbl 1356.03064号 阿夫沙里,巴哈雷;格雷厄姆·李(Graham E.Leigh)。 三 2013 经典真理原则的证明理论说明。 Zbl 1322.03039号 G.E.李。 1 2013 重新修订。 Zbl 1304.03020号 莱昂·霍斯顿;格雷厄姆·李(Graham E.Leigh)。;汉内斯·莱特盖布;菲利普·韦尔奇 7 2012 直觉主义逻辑中的弗里德曼-谢尔程序。 Zbl 1248.03081号 格雷厄姆·李(Graham E.Leigh)。;迈克尔·拉特扬 2 2012 对自我参照真理理论的序贯分析。 Zbl 1194.03051号 格雷厄姆·埃米尔·利;迈克尔·拉特扬 11 2010 所有引用出版物 前5名被引用出版物 全部的 前5名77位作者引用 8 格雷厄姆·埃米尔·利 7 阿夫沙里,巴哈雷 7 马特乌什·兹比格涅夫 6 卡洛·尼古莱 5 巴托斯·Wcisło 4 安德烈亚·坎蒂尼 4 斯特凡·赫兹尔 4 维尼马,伊德 三 阿里·埃纳亚特 三 大卫·费尔南德斯·杜克 三 肯塔罗州藤本市 三 迈克尔·拉特扬 2 罗马斯·阿隆德里斯 2 塞萨里奇什林斯基 2 科恩、利隆 2 达斯,阿努帕姆 2 加布里埃尔·埃布纳 2 塞巴斯蒂安·恩奎斯特 2 哈洛达斯·吉德拉 2 Gougeon,昆廷 2 沃尔克哈尔巴赫 2 见鬼,理查德·金伯利 2 莱昂·霍斯顿 2 亚历山大·莱奇 2 艾达,普留什凯维奇 2 里贾曼塔斯,普利乌什凯维丘斯 2 Rooduijn,简 2 路易吉·桑托卡纳莱 2 塞凡·法特梅 2 多米尼克·韦尔 1 爱德华多·亚历杭德罗·巴里奥 1 巴索尔德,亨宁 1 迈克尔·鲍尔 1 斯特凡诺·贝拉尔迪 1 里卡多·布鲁尼 1 Samuel R.巴斯。 1 凯特琳·坎贝尔-穆尔 1 弗朗西斯科·西罗洛 1 布鲁诺·达雷 1 凯文·戴维。 1 塞巴斯蒂安·埃伯哈德 1 马丁·菲舍尔 1 安德烈亚斯·费尔斯塔德 1 西尔维奥·吉拉尔迪 1 玛丽亚·乔昂·古韦亚 1 Hayashi、Daichi 1 劳拉·T·希拉。 1 罗莎莉,伊姆霍夫 1 乌尔里希·威廉·科伦巴赫 1 Jönne Kriener 1 安蒂·库西斯托 1 汉内斯·莱特盖布 1 迈克尔·彼得·莱特曼 1 约翰内斯·马蒂 1 吉列尔莫·门德斯·图拉塔 1 雷米·诺列特 1 费多尔·帕霍莫夫。 1 马里奥广场 1 吉赛尔·赖斯 1 科林·里巴 1 戴维·里纳尔迪 1 雷恩·Rönnholm 1 鲁本·罗伊,N.S。 1 亚历克西斯·索林 1 尤里·萨瓦泰耶夫 1 凯文·沙普 1 彼得·迈克尔·舒斯特 1 Daniyar S.Shamkanov。 1 安德烈·西波什 1 肖恩·斯坦德弗 1 约翰·斯特恩 1 托马斯·施图德 1 克里斯汀·塔森 1 Makoto Tatsuta 1 安德烈亚斯·魏尔曼 1 丹尼尔·韦勒(Daniel S.Weller)。 1 马蒂奥·齐切蒂 全部的 前5名17篇连载文章中引用 6 哲学逻辑杂志 6 符号逻辑述评 5 符号逻辑杂志 5 纯逻辑与应用逻辑年鉴 4 Studia Logica公司 4 数学逻辑档案 三 合成 三 信息与计算 三 计算机科学中的逻辑方法 2 圣母院形式逻辑杂志 2 理论计算机科学 2 自动推理杂志 2 MSCS公司。计算机科学中的数学结构 1 应用非经典逻辑杂志 1 埃尔肯特尼斯 1 数学逻辑杂志 1 Oberwolfach报告 全部的 前5名在8个字段中引用 64 数学逻辑和基础(03-XX) 17 计算机科学(68至XX) 三 总体主题;集合(00-XX) 2 历史与传记(01-XX) 1 阶、格、有序代数结构(06-XX) 1 结合环与代数(16-XX) 1 概率论与随机过程(60-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文