罗莎莉·伊姆霍夫
人员信息
附属: 荷兰乌得勒支大学
优化列表
2020年–今天
2023 [第11条] 伊恩·希利托 , 艾瑞斯·范德吉森 , 拉杰夫·戈尔 , 罗莎莉·伊姆霍夫 :
直觉主义强Löb逻辑的新演算:强终止和删减,形式化。 TABLEAUX公司 2023 : 73-93 [i5] 罗莎莉·伊姆霍夫 , 拉赫利赫·贾拉利 :
通用证明理论,TACL 2022课堂讲稿。 CoRR公司 abs/2305.10888 ( 2023 ) [i4] 伊恩·希利托 , 艾丽斯·范德吉森 , 拉杰夫·戈尔 , 罗莎莉·伊姆霍夫 :
直觉强Löb逻辑的一种新演算:强终止和删减,形式化。 CoRR公司 abs/2309.00486 ( 2023 ) 2022 [公元33年] 罗莎莉·伊姆霍夫 :
G3i序贯演算的G4i模拟。 Stud Logica公司 110 ( 6 ) : 1493-1506 ( 2022 ) [第10条] 罗莎莉·伊姆霍夫 , 拉赫利赫·贾拉利 , 阿米罗申·阿克巴尔·塔巴塔拜 :
直觉单调模态逻辑的一致Lyndon插值。 AiML公司 2022 : 77-96 [i3] 阿米尔侯赛因·阿克巴尔·塔巴塔拜 , 罗莎莉·伊姆霍夫 , 拉赫利赫·贾拉利 :
直觉单调模态逻辑的一致Lyndon插值。 CoRR公司 abs/2208.04607 ( 2022 ) [i2] 阿米罗申·阿克巴尔·塔巴塔拜 , 罗莎莉·伊姆霍夫 , 拉赫利赫·贾拉利 :
基本非正规模态和条件逻辑的统一Lyndon插值。 CoRR公司 abs/2208.05202 ( 2022 ) 2021 [公元32年] 罗莎莉·伊姆霍夫 , 罗伯特·帕曼 :
直觉主义Kripke-Platek集合理论的逻辑学。 Ann.纯应用。 日志。 172 ( 10 ) : 103014 ( 2021 ) [公元31年] 艾丽斯·范德吉森 , 罗莎莉·伊姆霍夫 :
直觉主义哥德尔逻辑的序贯演算。 圣母院J.正式日志。 62 ( 2 ) ( 2021 ) 【c9】 阿米罗申·阿克巴尔·塔巴塔拜 , 罗莎莉·伊姆霍夫 , 拉赫利赫·贾拉利 :
基本非正规模态逻辑的统一Lyndon插值。 沃尔利克 2021 : 287-301 2020 【j30】 伊万诺·齐亚德利 , 罗莎莉·伊姆霍夫 , 范扬 :
直觉逻辑中的问题与依赖。 圣母院J.正式日志。 61 ( 1 ) : 75-115 ( 2020 )
2010 – 2019
2019 [公元29年] 罗莎莉·伊姆霍夫 :
模态逻辑中的统一插值和顺序计算。 架构(architecture)。 数学。 日志。 58 ( 1-2个 ) : 155-181 ( 2019 ) [公元28年] 罗莎莉·伊姆霍夫 :
一致插值和连续计算的存在性。 Ann.纯应用。 日志。 170 ( 11 ) ( 2019 ) [电子1] 罗莎莉·伊姆霍夫 , 迈克尔·穆尔加特 , 鲁伊·J·G·B·德·奎罗斯 :
逻辑、语言、信息和计算——第26届国际研讨会,WoLLIC 2019,荷兰乌得勒支,2019年7月2-5日,会议记录。 计算机科学课堂讲稿 11541, 施普林格 2019 ,国际标准图书编号 978-3-662-59532-9 [目录] 2018 [j27] 罗莎莉·伊姆霍夫 :
两个直觉模态逻辑的终止序列计算。 J.日志。 计算。 28 ( 7 ) : 1701-1712 ( 2018 ) 【c8】 罗莎莉·伊姆霍夫 :
证明系统的存在。 模态逻辑的进展 2018 : 7 2017 [公元26年] 罗莎莉·伊姆霍夫 :
关于替代性Skolemization方法的存在性。 拍打 4 ( 4 ) ( 2017 ) [i1] 伊万诺·齐亚德利 , 罗莎莉·伊姆霍夫 , 范扬 :
直觉主义逻辑中的问题和依赖。 CoRR公司 abs/1704.01866 ( 2017 ) 2016 [公元25年] 罗莎莉·伊姆霍夫 , 范扬 :
依赖命题逻辑中的结构完备性。 架构(architecture)。 数学。 日志。 55 ( 7-8 ) : 955-975 ( 2016 ) [j24] 马提亚斯·巴兹 , 罗莎莉·伊姆霍夫 :
具有有限模型性质的中间逻辑中的Skolemization。 日志。 J.IGPL公司 24 ( 三 ) : 224-237 ( 2016 ) [公元23年] 罗莎莉·伊姆霍夫 :
后果关系和可接受规则。 J.菲洛斯。 日志。 45 ( 三 ) : 327-348 ( 2016 ) [公元22年] 古拉姆·贝扎尼什维利 , 尼克·贝扎尼什维利 , 罗莎莉·伊姆霍夫 :
稳定的规范规则。 J.塞姆。 日志。 81 ( 1 ) : 284-315 ( 2016 ) [公元21年] 罗莎莉·伊姆霍夫 :
及物反身模态逻辑中统一的句法方法。 圣母院J.正式日志。 57 ( 2 ) : 233-247 ( 2016 ) [公元20年] 罗莎莉·伊姆霍夫 , 乔治·梅特卡夫 :
关于可接受规则和统一的特别问题。 圣母院J.正式日志。 57 ( 4 ) : 441-442 ( 2016 ) 2015 [公元19年] 罗莎莉·伊姆霍夫 :
关于规则。 J.菲洛斯。 日志。 44 ( 6 ) : 697-711 ( 2015 ) [公元18年] 罗莎莉·伊姆霍夫 , 保罗·罗齐埃 :
中间逻辑的统一。 J.塞姆。 日志。 80 ( 三 ) : 713-729 ( 2015 ) 2014 [公元17年] 杰罗恩·古德米特 , 罗莎莉·伊姆霍夫 :
关于Gabbay-de-Jongh逻辑中的统一和可容许规则。 Ann.纯应用。 日志。 165 ( 2 ) : 652-672 ( 2014 ) [公元16年] 彼得·辛图拉 , 罗莎莉·伊姆霍夫 , 石儿居 :
编辑:非经典模态逻辑和谓词逻辑专题。 日志。 J.IGPL公司 22 ( 三 ) : 411-412 ( 2014 ) 2013 【c7】 罗莎莉·伊姆霍夫 :
Gudauri可接受规则指南。 TbiLLC公司 2013 : 10-17 2011 [公元15年] 马提亚斯·巴兹 , 罗莎莉·伊姆霍夫 :
直觉主义逻辑中的神秘化。 J.日志。 计算。 21 ( 4 ) : 625-638 ( 2011 ) 【c6】 罗莎莉·伊姆霍夫 :
逻辑上的统一。 沃尔利克 2011 : 2 2010 [公元14年] 罗莎莉·伊姆霍夫 :
CZF子理论的克里普克模型。 架构(architecture)。 数学。 日志。 49 ( 2 ) : 147-167 ( 2010 ) [j13] 罗莎莉·伊姆霍夫 :
全称量词的eskolemization。 Ann.纯应用。 日志。 162 ( 三 ) : 201-212 ( 2010 )
2000 – 2009
2009 [公元12年] 罗莎莉·伊姆霍夫 , 乔治·梅特卡夫 :
可容许规则的证明理论。 Ann.纯应用。 日志。 159 ( 1-2个 ) : 171-186 ( 2009 ) 【c5】 罗莎莉·伊姆霍夫 , 乔治·梅特卡夫 :
模态和中间逻辑可容许规则的超序列系统。 LFCS公司 2009 : 230-245 2008 [公元11年] 马提亚斯·巴兹 , 罗莎莉·伊姆霍夫 :
论建构主义理论中的Skolemization。 J.塞姆。 日志。 73 ( 三 ) : 969-998 ( 2008 ) 2007 [公元10年] 谢尔盖·N·阿特莫夫 , 罗莎莉·伊姆霍夫 :
证明的基本直觉逻辑。 J.塞姆。 日志。 72 ( 2 ) : 439-451 ( 2007 ) 2006 [公元9年] 罗莎莉·伊姆霍夫 :
关于中间逻辑的规则。 架构(architecture)。 数学。 日志。 45 ( 5 ) : 581-599 ( 2006 ) [j8] 马提亚斯·巴兹 , 罗莎莉·伊姆霍夫 :
直觉主义逻辑中存在量词的Skolemization。 Ann.纯应用。 日志。 142 ( 1-3 ) : 269-295 ( 2006 ) [j7] 马提亚斯·巴兹 , 罗莎莉·伊姆霍夫 :
存在谓词的Gentzen Calculi。 Stud Logica公司 82 ( 1 ) : 7-23 ( 2006 ) 2005 [j6] 罗莎莉·伊姆霍夫 , 迪克·德容 , 周春来 :
直觉可证明性和保守性逻辑的性质。 日志。 J.IGPL公司 13 ( 6 ) : 615-636 ( 2005 ) [j5] 罗莎莉·伊姆霍夫 :
关于线性克里普克模型的注记。 J.日志。 计算。 15 ( 4 ) : 489-506 ( 2005 ) 【j4】 罗莎莉·伊姆霍夫 :
中间逻辑和维瑟规则。 圣母院J.正式日志。 46 ( 1 ) : 65-81 ( 2005 ) 【c4】 马提亚斯·巴兹 , 罗莎莉·伊姆霍夫 :
关于存在谓词的证明理论。 我们将向他们展示! (1) 2005 : 125-166 【c3】 马提亚斯·巴兹 , 罗莎莉·伊姆霍夫 :
论存在逻辑中的插值。 LPAR公司 2005 : 697-711 2003 [j3] 罗莎莉·伊姆霍夫 :
保守性逻辑:建构理论的可解释性逻辑的类似物。 数学。 日志。 问:。 49 ( 三 ) : 230-249 ( 2003 ) 【c2】 罗莎莉·伊姆霍夫 :
迈向可受理性证明系统。 CSL公司 2003 : 255-270 2001 [注2] 罗莎莉·伊姆霍夫 :
直觉主义命题逻辑的另一个特征。 Ann.纯应用。 日志。 113 ( 1-3 ) : 161-173年 ( 2001 ) [j1] 罗莎莉·伊姆霍夫 :
直觉命题逻辑的可接受规则。 J.塞姆。 日志。 66 ( 1 ) : 281-294年 ( 2001 )
1990 – 1999
1998 【c1】 罗莎莉·伊姆霍夫 :
海廷艺术可证明逻辑若干原则的模态分析。 模态逻辑的进展 1998 : 301-336