编辑配置文件（在新选项卡中打开） 罗莎莉，伊姆霍夫 合著者距离 作者ID： iemhoff罗萨利 发布日期： 罗莎莉，伊姆霍夫 已编制索引的文档： 48出版物自2001年以来，包括6附加arXiv预打印 7作为编辑的贡献 合著者： 25位合著者具有31联合出版物 572合著者 全部的 前5名合著者 24 单作者的 8 马提亚斯·巴兹 三 拉赫利·贾拉利 三 乔治·梅特卡夫 三 艾丽斯·范德吉森 2 阿米罗申·阿克巴尔·塔巴塔拜 2 Samuel R.巴斯。 2 乌尔里希·威廉·科伦巴赫 2 罗伯特·帕曼 2 迈克尔·拉特扬 2 杨帆 1 谢尔盖·阿特莫夫 1 古拉姆·贝扎尼什维利 1 尼克·贝扎尼什维利 1 Ivano A.Ciardelli。 1 彼得·辛图拉 1 迪克·乔恩。 1 拉杰夫·普拉巴卡尔·戈尔 1 杰伦·古德米特（Jeroen P.Goudsmit）。 1 Joost J.乔斯特恩。 1 朱、希尔 1 迈克尔·穆尔特加特 1 保罗·罗齐埃 1 伊恩·希利托 1 范·艾伊克（Jan van Eijck） 1 周春来 全部的 前5名系列 7 纯逻辑与应用逻辑年鉴 5 符号逻辑杂志 5 圣母院形式逻辑杂志 4 数学逻辑档案 三 逻辑与计算杂志 三 IGPL逻辑杂志 2 哲学逻辑杂志 2 Studia Logica公司 2 Oberwolfach报告 1 国际数学Nachrichten 1 Indagationes Mathematicae公司。新系列 1 数学逻辑季刊（MLQ） 1 符号逻辑公报 1 计算机科学课堂讲稿 1 致敬 领域 50 数理逻辑与基础（03-XX） 9 总体主题；集合（00-XX） 2 计算机科学（68至XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 36出版物有被引用341中的次176文件 引用人▼ 年份▼ 直觉主义命题逻辑的可容许规则。 Zbl 0986.03013号 罗莎莉，伊姆霍夫 69 2001 可容许规则的证明理论。 Zbl 1174.03024号 罗莎莉，伊姆霍夫；乔治·梅特卡夫 32 2009 中间逻辑和Visser规则。 Zbl 1102.03032号 罗莎莉，伊姆霍夫 31 2005 稳定的规范规则。 Zbl 1345.03034号 古拉姆·贝扎尼什维利；尼克·贝扎尼什维利；罗莎莉，伊姆霍夫 16 2016 直觉主义命题逻辑的另一个特征。 兹伯利0988.03045 罗莎莉，伊姆霍夫 15 2002 后果关系和可接受规则。 Zbl 1392.03021号 罗莎莉，伊姆霍夫 15 2016 关于中间逻辑的规则。 Zbl 1096.03025号 罗莎莉，伊姆霍夫 11 2006 关于Gabbay-de-Jongh逻辑中的统一和可容许规则。 兹伯利1316.03016 杰伦·古德米特（Jeroen P.Goudsmit）。；罗莎莉，伊姆霍夫 11 2014 关于规则。 Zbl 1336.03037号 罗莎莉，伊姆霍夫 11 2015 直觉主义逻辑中存在量词的Skolemization。 Zbl 1106.03004号 马提亚斯·巴兹；罗莎莉，伊姆霍夫 9 2006 证明的基本直觉逻辑。 Zbl 1117.03066号 谢尔盖·阿特莫夫；罗莎莉，伊姆霍夫 9 2007 模态逻辑中的统一插值和顺序计算。 Zbl 07006132号 罗莎莉，伊姆霍夫 9 2019 存在谓词的Gentzen计算。 Zbl 1097.03046号 马提亚斯·巴兹；罗莎莉，伊姆霍夫 8 2006 建立可受理性证明制度。 Zbl 1116.03304号 罗莎莉，伊姆霍夫 8 2003 模态逻辑和中间逻辑的容许规则的超序列系统。 Zbl 1211.03037号 罗莎莉，伊姆霍夫；乔治·梅特卡夫 8 2009 一致插值和连续计算的存在性。 Zbl 1475.03078号 罗莎莉，伊姆霍夫 8 2019 依赖命题逻辑中的结构完备性。 兹比尔1358.03037 罗莎莉，伊姆霍夫；杨帆 8 2016 直觉主义逻辑中的问题和依赖。 Zbl 1453.03025号 伊万诺·齐亚德利；罗莎莉，伊姆霍夫；杨帆 7 2020 两个直觉模态逻辑的终止序列计算。 Zbl 1444.03060号 罗莎莉，伊姆霍夫 6 2018 论建构主义理论中的Skolemization。 Zbl 1171.03035号 马提亚斯·巴兹；罗莎莉，伊姆霍夫 5 2008 传递自反模态逻辑中统一的句法方法。 Zbl 1436.03133号 罗莎莉，伊姆霍夫 5 2016 直觉哥德尔逻辑的序贯演算。 兹比尔1490.03013 艾丽斯·范德吉森；罗莎莉，伊姆霍夫 5 2021 保留性逻辑：类似于构造性理论的可解释性逻辑。 Zbl 1024.03061号 罗莎莉，伊姆霍夫 4 2003 关于存在逻辑中的插值。 Zbl 1143.03325号 马提亚斯·巴兹；罗莎莉，伊姆霍夫 4 2005 关于线性克里普克模型的注记。 Zbl 1082.03026号 罗莎莉，伊姆霍夫 4 2005 中间逻辑的统一。 Zbl 1357.03059号 罗莎莉，伊姆霍夫；保罗·罗齐埃 4 2015 对Heyting算法可证明逻辑的一些原理进行了模态分析。 Zbl 0995.03045号 罗莎莉，伊姆霍夫 三 2001 循环推理。 Zbl 1418.03178号 罗莎莉，伊姆霍夫 三 2016 直觉主义Kripke-Platek集合理论的逻辑学。 Zbl 1491.03079号 罗莎莉，伊姆霍夫；罗伯特·帕斯曼 2 2021 直觉可证明性和保全性逻辑的性质。 Zbl 1120.03044号 罗莎莉，伊姆霍夫；迪克·德·乔恩；周春来 2 2005 直觉主义逻辑中的神秘化。 Zbl 1241.03067号 马提亚斯·巴兹；罗莎莉，伊姆霍夫 2 2011 子理论的克里普克模型捷克法郎. Zbl 1184.03058号 罗莎莉，伊姆霍夫 2 2010 阿尔贝蒂自由之友会。向阿尔伯特·维瑟致敬。 Zbl 1367.03011号 2 2016 具有有限模型性质的中间逻辑中的Skolemization。 兹比尔1405.03068 马提亚斯·巴兹；罗莎莉，伊姆霍夫 1 2016 关于简单证明的备注。 Zbl 1375.00048号 罗莎莉，伊姆霍夫 1 2017 中间逻辑中prenex公式的Skolemization。 Zbl 07049868号 罗莎莉，伊姆霍夫 1 2019 直觉哥德尔逻辑的序贯演算。 兹比尔1490.03013 艾丽斯·范德吉森；罗莎莉，伊姆霍夫 5 2021 直觉主义Kripke-Platek集合理论的逻辑学。 Zbl 1491.03079号 罗莎莉，伊姆霍夫；罗伯特·帕斯曼 2 2021 直觉主义逻辑中的问题和依赖。 Zbl 1453.03025号 伊万诺·齐亚德利；罗莎莉，伊姆霍夫；杨帆 7 2020 模态逻辑中的统一插值和顺序计算。 Zbl 07006132号 罗莎莉，伊姆霍夫 9 2019 一致插值和连续计算的存在性。 Zbl 1475.03078号 罗莎莉，伊姆霍夫 8 2019 中间逻辑中prenex公式的Skolemization。 Zbl 07049868号 罗莎莉，伊姆霍夫 1 2019 两个直觉模态逻辑的终止序列计算。 Zbl 1444.03060号 罗莎莉，伊姆霍夫 6 2018 关于简单证明的备注。 Zbl 1375.00048号 罗莎莉，伊姆霍夫 1 2017 稳定的规范规则。 Zbl 1345.03034号 古拉姆·贝扎尼什维利；尼克·贝扎尼什维利；罗莎莉，伊姆霍夫 16 2016 后果关系和可接受规则。 Zbl 1392.03021号 罗莎莉，伊姆霍夫 15 2016 依赖命题逻辑中的结构完备性。 兹比尔1358.03037 罗莎莉，伊姆霍夫；杨帆 8 2016 传递自反模态逻辑中统一的句法方法。 Zbl 1436.03133号 罗莎莉，伊姆霍夫 5 2016 循环推理。 Zbl 1418.03178号 罗莎莉，伊姆霍夫 三 2016 阿尔贝蒂自由之友会。向阿尔伯特·维瑟致敬。 Zbl 1367.03011号 2 2016 具有有限模型性质的中间逻辑中的Skolemization。 兹比尔1405.03068 马提亚斯·巴兹；罗莎莉，伊姆霍夫 1 2016 关于规则。 Zbl 1336.03037号 罗莎莉，伊姆霍夫 11 2015 中间逻辑的统一。 Zbl 1357.03059号 罗莎莉，伊姆霍夫；保罗·罗齐埃 4 2015 关于Gabbay-de-Jongh逻辑中的统一和可容许规则。 兹伯利1316.03016 杰伦·古德米特（Jeroen P.Goudsmit）。；罗莎莉，伊姆霍夫 11 2014 直觉主义逻辑中的神秘化。 Zbl 1241.03067号 马提亚斯·巴兹；罗莎莉，伊姆霍夫 2 2011 子理论的克里普克模型捷克法郎. Zbl 1184.03058号 罗莎莉，伊姆霍夫 2 2010 可容许规则的证明理论。 Zbl 1174.03024号 罗莎莉，伊姆霍夫；乔治·梅特卡夫 32 2009 模态逻辑和中间逻辑的容许规则的超序列系统。 Zbl 1211.03037号 罗莎莉，伊姆霍夫；乔治·梅特卡夫 8 2009 论建构主义理论中的Skolemization。 Zbl 1171.03035号 马提亚斯·巴兹；罗莎莉，伊姆霍夫 5 2008 证明的基本直觉逻辑。 Zbl 1117.03066号 谢尔盖·阿特莫夫；罗莎莉，伊姆霍夫 9 2007 关于中间逻辑的规则。 Zbl 1096.03025号 罗莎莉，伊姆霍夫 11 2006 直觉主义逻辑中存在量词的Skolemization。 Zbl 1106.03004号 马提亚斯·巴兹；罗莎莉，伊姆霍夫 9 2006 存在谓词的Gentzen计算。 Zbl 1097.03046号 马提亚斯·巴兹；罗莎莉，伊姆霍夫 8 2006 中间逻辑和Visser规则。 Zbl 1102.03032号 罗莎莉，伊姆霍夫 31 2005 关于存在逻辑中的插值。 Zbl 1143.03325号 马提亚斯·巴兹；罗莎莉，伊姆霍夫 4 2005 关于线性克里普克模型的注记。 Zbl 1082.03026号 罗莎莉，伊姆霍夫 4 2005 直觉可证明性和保全性逻辑的性质。 Zbl 1120.03044号 罗莎莉，伊姆霍夫；迪克·德·乔恩；周春来 2 2005 建立可受理性证明制度。 Zbl 1116.03304号 罗莎莉，伊姆霍夫 8 2003 保留性逻辑：类似于构造性理论的可解释性逻辑。 Zbl 1024.03061号 罗莎莉，伊姆霍夫 4 2003 直觉主义命题逻辑的另一个特征。 兹伯利0988.03045 罗莎莉，伊姆霍夫 15 2002 直觉主义命题逻辑的可容许规则。 Zbl 0986.03013号 罗莎莉，伊姆霍夫 69 2001 对Heyting算法可证明逻辑的一些原理进行了模态分析。 Zbl 0995.03045号 罗莎莉，伊姆霍夫 三 2001 所有引用的出版物 前5名被引用出版物 全部的 前5名161位作者引用 24 罗莎莉，伊姆霍夫 13 雷巴科夫，弗拉基米尔·弗拉基米罗维奇 9 尼克·贝扎尼什维利 9 乔治·梅特卡夫 7 马提亚斯·巴兹 6 杰伦·古德米特（Jeroen P.Goudsmit）。 5 古拉姆·贝扎尼什维利 5 亚历克斯·西特金 5 埃米尔·杰夏贝克 5 杨帆 4 托马索·莫拉希尼 4 里马茨基、维塔利、瓦伦蒂诺维奇 4 阿尔伯特·维瑟 三 菲利普·巴尔比亚尼 三 斯蒂芬·伊戈列维奇·巴什马科夫 三 莱昂纳多·曼纽尔·卡布勒 三 蒂齐亚诺·达尔蒙特 三 沃伊切赫·Dzik 三 柯蒂斯·弗兰克斯 三 乔伊格登·根瑟 三 查尔斯·格雷洛伊斯 三 安德烈·因德泽扎克（Andrzej Indrzejczak） 三 塔德乌什·利塔克 三 尼古拉·奥利维蒂 三 罗伯特·帕曼 三 Vít省Punčochář 三 德米特里·什卡托夫 三 MichałMarek，Stronkowski 三 van Alten，Clint J。 三 艾丽斯·范德吉森 2 阿夫沙里语、巴哈雷语 2 阿米罗申·阿克巴尔·塔巴塔拜 2 谢尔盖·巴本尼舍夫 2 塞拉尼、塞尔吉奥·阿图罗 2 彼得·辛图拉 2 吉安卢卡·格里莱蒂 2 朱莉娅·伊林 2 拉赫利·贾拉利 2 Hidenori Kurokawa 2 格雷厄姆·埃米尔·利 2 保罗·马菲齐奥利 2 莫伊塔赫迪、莫伊塔巴 2 谢尔盖·奥丁佐夫。 2 奥兰德利，尤金尼奥 2 托马斯·皮埃查 2 希拉里·普里斯特利（Hilary A.Priestley）。 2 戴维德·埃米利奥·夸德雷拉罗 2 Daniyar S.Shamkanov。 2 加布里埃拉·斯特恩 2 海因里希·西奥多 2 彼得·沃伊泰拉克 1 保罗·阿格里亚诺 1 胡安·巴勃罗·阿奎莱拉 1 穆罕默德·阿德谢尔 1 亚历山德罗·阿塔尔 1 谢尔盖·阿特莫夫 1 弗兰兹·巴德 1 福斯托·巴贝罗 1 阿诺德·贝克曼 1 奥拉夫·拜尔斯多夫 1 爱德华多·博内利 1 Stefan博格沃特 1 纪尧姆·伯勒 1 Samuel R.巴斯。 1 泽维尔·凯塞多 1 艾伦·J·凯恩。 1 梅林·卡尔 1 丹尼尔·奇菲 1 阿加塔·西阿巴托尼 1 亚历山大·西特金 1 安德烈亚·康多卢奇 1 马塞洛·埃斯特班（Marcelo Esteban Coniglio） 1 de Campos Sanz，瓦格纳 1 吉姆·德·格罗特 1 迪克·乔恩。 1 沃尔特·迪安 1 丹尼萨·迪亚科内斯库 1 罗伊·戴克霍夫 1 朱利奥·费林 1 马丁·菲加洛 1 本杰明·弗赖斯伯格 1 大卫·加伯里亚 1 尼古拉斯·加拉托斯 1 洛伦佐·加莱奥蒂 1 彼得罗·加利亚尼 1 吉多·格拉迪 1 西尔维奥·吉拉尔迪 1 琼·吉斯佩特 1 诺伯特·格拉茨 1 Marcia J.格罗泽克。 1 沃尔克·哈尔巴赫 1 祖扎娜·哈尼科娃 1 岩田，Sohei 1 拉蒙·詹萨纳 1 Mamuka A.Jibladze。 1 让·克里斯托夫·荣格 1 莱因哈德·卡勒 1 乌尔里希·威廉·科伦巴赫 1 朱哈·科廷宁 1 科斯特，萨沃米尔 …还有61位作者 全部的 前5名在38篇连载文章中被引用 27 纯逻辑与应用逻辑年鉴 18 Studia Logica公司 9 符号逻辑杂志 9 符号逻辑述评 8 数学逻辑档案 6 哲学逻辑杂志 6 圣母院形式逻辑杂志 4 理论计算机科学 4 逻辑、语言与信息杂志 4 泛逻辑 4 西伯利亚联邦大学学报。数学和物理 三 西伯利亚数学杂志 三 符号逻辑公报 三 软计算 三 ACM计算逻辑事务 2 代数与逻辑 2 纯粹与应用代数杂志 2 合成 2 逻辑科公报 2 逻辑历史与哲学 2 信息与计算 2 Indagationes Mathematicae公司。新系列 2 应用非经典逻辑杂志 2 逻辑与逻辑哲学 2 计算机科学中的逻辑方法 2 伊尔库茨科戈大学。马特马提卡丝里亚 1 代数普遍性 1 订单 1 离散数学与应用 1 应用的分类结构 1 数学逻辑季刊（MLQ） 1 数学与人工智能年鉴 1 计算系统理论 1 洛巴切夫斯基数学杂志 1 应用逻辑杂志 1 Oberwolfach报告 1 公理 1 伦敦皇家学会哲学学报。A.数学、物理和工程科学 全部的 前5名在12个字段中引用 168 数理逻辑与基础（03-XX） 27 计算机科学（68至XX） 17 阶、格、有序代数结构（06-XX） 12 一般代数系统（08-XX） 4 总体主题；集合（00-XX） 4 一般拓扑结构（54至XX） 2 历史和传记（01-XX） 1 交换代数（13-XX） 1 群论与推广（20-XX） 1 统计学（62-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 数学教育（97-XX） 按年份列出的引文