编辑配置文件（在新选项卡中打开） 吉安路易吉·贝林 合著者距离 作者ID： 贝林·吉安路易吉 发布日期： 吉安路易吉·贝林；G·贝林。 已编制索引的文档： 21出版物自1979年起 1名编辑贡献 合著者： 15位合著者具有13联合出版物 174位合作作者 全部的 前5名合著者 8 单作者的 三 卡拉拉，马西米利亚诺 三 丹尼尔·奇菲 三 亚历山德罗·曼蒂 1 斯特凡诺·贝拉尔迪 1 科拉多·比亚西 1 特里斯坦·克罗拉德 1 卡罗·达拉·波扎 1 阿诺德·弗勒里 1 Willem B.Heijltjes。 1 海兰德·J·马丁·E·。 1 尤西·凯托宁 1 库尔特·兰奥尔特 1 Edmund P.罗宾逊。 1 菲利普·斯科特。 1 城市，基督教 全部的 前5名系列 三 理论计算机科学 三 逻辑与计算杂志 2 计算机基础理论 2 逻辑与逻辑哲学 1 理论 1 MSCS公司。计算机科学中的数学结构 1 数学逻辑档案 1 计算机科学中的逻辑方法 领域 22 数理逻辑与基础（03-XX） 4 计算机科学（68至XX） 2 组合数学（05-XX） 1 总体主题；集合（00-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 18出版物有被引用97中的次80文件 引用人▼ 年份▼ 关于（pi）-演算和线性逻辑。 Zbl 0817.03001号 G·贝林。；P.J.斯科特。 32 1994 \（{\mathbf{MLL}}^-\）中证明网的子网。 Zbl 0826.03025号 G·贝林。；范德维勒（J.van de Wiele）。 8 1995 双教授主义的实用主义和对话式解释。一、。 Zbl 1364.03018号 吉安路易吉·贝林；马西米利亚诺·卡拉拉；丹尼尔·奇菲；亚历山德罗·曼蒂 8 2014 走向语用学的逻辑。断言和猜测。 Zbl 1050.03022号 吉安路易吉·贝林；科拉多·比亚西 7 2004 经典命题演算的范畴证明理论。 Zbl 1121.03086号 吉安路易吉·贝林；马丁·海兰德；埃德蒙·罗宾逊；城市，基督教 5 2006 GL的自然演绎系统。 Zbl 0616.03030号 吉安路易吉·贝林 5 1985 混合乘法线性逻辑的平面和编织证明网。 Zbl 0905.03037号 G·贝林。；弗勒里，A。 5 1998 共直觉线性逻辑的范畴证明理论。 Zbl 1341.03092号 吉安路易吉·贝林 4 2014 关于语用学的直觉主义逻辑。 Zbl 1444.03005号 吉安路易吉·贝林；马西米利亚诺·卡拉拉；丹尼尔·奇菲 4 2018 MIX乘法线性逻辑中证明网的子网。 兹伯利0893.03019 吉安路易吉·贝林 三 1997 重温决策程序：关于直接逻辑、线性逻辑及其实现的注释。 Zbl 0763.03010号 吉安路易吉·贝林；尤西·凯托宁 三 1992 断言、假设、猜想、期望：粗糙集语义和证明理论。 Zbl 1342.03028号 吉安路易吉·贝林 三 2014 拉姆齐解释：拉姆齐定理的参数版本。 Zbl 0693.03035号 吉安路易吉·贝林 三 1990 朱棣文的结构：一种证明理论的方法。 Zbl 1036.03044号 吉安路易吉·贝林 2 2003 子结构逻辑的语用解释。 Zbl 1012.03029号 吉安路易吉·贝林；卡罗·达拉·波扎 2 2002 仿射逻辑中的两种逻辑计算范式？ Zbl 1036.03045号 吉安路易吉·贝林 1 2003 语用学直觉逻辑的克里普克型语义学。 Zbl 1043.03025号 吉安路易吉·贝林；库尔特·兰奥尔特 1 2003 关于（pi）-演算和共直觉逻辑。并发和（lambda）P系统的逻辑注释。 Zbl 1352.68175号 吉安路易吉·贝林；亚历山德罗·曼蒂 1 2014 关于语用学的直觉主义逻辑。 Zbl 1444.03005号 吉安路易吉·贝林；马西米利亚诺·卡拉拉；丹尼尔·奇菲 4 2018 双教授主义的实用主义和对话式解释。一、。 Zbl 1364.03018号 吉安路易吉·贝林；卡拉拉，马西米利亚诺；丹尼尔·奇菲；亚历山德罗·曼蒂 8 2014 共直觉线性逻辑的范畴证明理论。 Zbl 1341.03092号 吉安路易吉·贝林 4 2014 断言、假设、猜想、期望：粗糙集语义和证明理论。 Zbl 1342.03028号 吉安路易吉·贝林 三 2014 关于（pi）-演算和共直觉逻辑。并发和（lambda）P系统的逻辑注释。 Zbl 1352.68175号 吉安路易吉·贝林；亚历山德罗·门蒂 1 2014 经典命题演算的范畴证明理论。 Zbl 1121.03086号 吉安路易吉·贝林；马丁·海兰德；埃德蒙·罗宾逊；城市，基督教 5 2006 走向语用学的逻辑。断言和猜测。 兹比尔1050.03022 吉安路易吉·贝林；科拉多·比亚西 7 2004 朱棣文的结构：一种证明理论的方法。 Zbl 1036.03044号 吉安路易吉·贝林 2 2003 仿射逻辑中的两种逻辑计算范式？ Zbl 1036.03045号 吉安路易吉·贝林 1 2003 语用学直觉逻辑的克里普克型语义学。 Zbl 1043.03025号 吉安路易吉·贝林；库尔特·兰奥尔特 1 2003 子结构逻辑的语用解释。 Zbl 1012.03029号 吉安路易吉·贝林；卡罗·达拉·波扎 2 2002 混合乘法线性逻辑的平面和编织证明网。 Zbl 0905.03037号 G·贝林。；A.弗勒里。 5 1998 MIX乘法线性逻辑中证明网的子网。 Zbl 0893.03019号 吉安路易吉·贝林 三 1997 \（{\mathbf{MLL}}^-\）中证明网的子网。 Zbl 0826.03025号 Bellin，G。；范德维勒（J.van de Wiele）。 8 1995 关于（pi）-演算和线性逻辑。 Zbl 0817.03001号 G·贝林。；P.J.斯科特。 32 1994 重新审视决策过程：关于直接逻辑、线性逻辑及其实现的注释。 Zbl 0763.03010号 吉安路易吉·贝林；尤西·凯托宁 三 1992 拉姆齐解释：拉姆齐定理的参数版本。 Zbl 0693.03035号 吉安路易吉·贝林 三 1990 总账的自然扣除系统。 Zbl 0616.03030号 吉安路易吉·贝林 5 1985 所有引用的出版物 前5名被引用出版物 全部的 前5名106位作者引用 7 丹尼尔·奇菲 5 吉安路易吉·贝林 5 卡拉拉，马西米利亚诺 4 温·科克 4 卢茨斯特拉汉堡 三 奥尔内拉·达达 三 伏玉溪 三 迪迪埃·加米歇 三 法布里西奥·蒙泰西 2 罗伯特·艾奇 2 路易斯·凯雷斯 2 马尔科·卡博尼 2 伊利亚诺·塞维萨托 2 科科特，J.罗宾B。 2 西罗·德弗洛里奥 2 保罗·迪詹贝尔蒂诺 2 哈雷III伊德斯 2 本田、高黑 2 罗斯·霍恩 2 海兰德·J·马丁·E·。 2 诺里希罗·卡米德 2 萨姆·林德利 2 亚历山德罗·曼蒂 2 J.Garrett莫里斯 2 弗兰克·芬宁 2 阿赫蒂·韦科·彼得雷宁（Ahti-Veikko Pietarinen） 2 安德烈·斯克洛夫 2 卡斯滕·舒尔曼 2 伯纳多·托尼霍 2 吉田、Nobuko 1 贝尼亚米·阿卡托利 1 马特奥·阿克拉维奥 1 阿古德洛·阿古德罗，胡安·C。 1 安德烈亚·阿斯佩蒂 1 理查德·巴纳赫 1 斯特凡诺·贝拉尔迪 1 马丁·伯杰（Martin J.Berger）。 1 珍妮·伊夫·贝齐奥 1 理查德·布鲁特（Richard F.Blute）。 1 Brock Nannestad，陶斯 1 克拉克、戴夫 1 鲍勃·科克 1 蒂齐亚诺·达尔蒙特 1 瓦莱里亚·德·佩瓦 1 罗伊·戴克霍夫 1 克劳迪娅·法根 1 西蒙·福勒 1 托拜厄斯·弗里茨 1 克劳迪奥·加洛拉 1 查尔斯·格雷洛伊斯 1 尼古拉斯，猜猜看 1 米歇尔·古兹曼 1 长谷川、Masahito 1 Willem B.Heijltjes。 1 多米尼克·J·D·休斯。 1 奥赞·卡拉马诺·乌拉尔 1 卡夫沃斯，G.A。 1 索菲亚·奈特 1 乌尔里希·威廉·科伦巴赫 1 奥利维·洛朗 1 塔德乌兹·利塔克 1 乔瓦尼·弗朗西斯科·马斯卡里 1 达米亚诺·马扎 1 瑞安·麦克莱利 1 理查德·穆特 1 乍得内斯特 1 乌韦·内斯特曼 1 Nguyên，LêThành Dũng 1 尼古拉·奥利维蒂 1 克雷格·帕斯特罗 1 詹妮弗·佩金 1 马可·佩奇尼 1 马可·佩雷索蒂 1 佩雷斯（Jorge A.Pérez）。 1 盖·佩里尔 1 鲁伊斯·平托（Luís F.Pinto）。 1 米里亚姆·波尔泽 1 加布里埃尔·普奇尼 1 圣地亚哥金特罗 1 乌尔里希·拉宾斯坦 1 塞尔吉奥·拉米雷斯 1 库尔特·兰奥尔特 1 Edmund P.罗宾逊。 1 卡米洛·鲁埃达 1 雅库布Salhi 1 安德烈亚·沙尔克 1 Fabien Schang先生 1 菲利普·斯科特。 1 罗伯特·A·G·西利。 1 雅罗斯拉夫·什兰科。 1 齐格，威尔弗里德 1 罗伯特·斯佩肯斯（Robert W.Spekkens）。 1 西尔维娅·斯特拉 1 阿伦·斯塔姆 1 阿文·费尔南托 1 詹姆斯·特拉福德 1 Todd H.Trimble。 1 城市，基督教 1 弗兰克·巴伦西亚。 1 西尔维奥·瓦伦蒂尼 …还有6位作者 全部的 前5名24篇连载文章中引用 9 理论计算机科学 7 纯逻辑与应用逻辑年鉴 7 MSCS公司。计算机科学中的数学结构 6 计算机科学中的逻辑方法 4 信息与计算 三 逻辑与逻辑哲学 2 合成 2 应用非经典逻辑杂志 2 泛逻辑 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 国际理论物理杂志 1 哲学逻辑杂志 1 纯粹与应用代数杂志 1 美国数学学会会刊 1 计算机程序设计科学 1 计算机科学与技术杂志 1 分布式计算 1 数学逻辑档案 1 逻辑、语言与信息杂志 1 函数编程杂志 1 应用逻辑杂志 1 符号逻辑述评 1 伦敦皇家学会哲学学报。A.数学、物理和工程科学 全部的 前5名在14个字段中引用 69 数理逻辑与基础（03-XX） 40 计算机科学（68至XX） 三 范畴理论；同调代数（18-XX） 2 组合数学（05-XX） 2 量子理论（81-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 阶、格、有序代数结构（06-XX） 1 结合环与代数（16-XX） 1 \（K\）理论（19-XX） 1 算子理论（47-XX） 1 歧管和细胞复合体（57-XX） 1 生物学和其他自然科学（92-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文