恩斯特·齐默尔曼
人员信息
优化列表
2020年-今天
2021 [j8] 恩斯特·齐默尔曼 :
自下而上的自然扣除。 J.日志。 语言信息。 30 ( 三 ) : 601-631 ( 2021 )
2010 – 2019
2010 [j7] 恩斯特·齐默尔曼 :
自然演绎中的完全Lambek微积分。 数学。 日志。 问:。 56 ( 1 ) : 85-88 ( 2010 )
2000 – 2009
2009 [j6] 恩斯特·齐默尔曼 :
一些次直觉逻辑的谓词逻辑扩展。 Stud Logica公司 91 ( 1 ) : 131-138 ( 2009 ) 2008 [j5] 恩斯特·齐默尔曼 :
自然演绎中的兰贝克微积分。 J.日志。 计算。 18 ( 4 ) : 589-600 ( 2008 ) 2007 【j4】 恩斯特·齐默尔曼 :
自然演绎中的亚结构逻辑。 日志。 J.IGPL公司 15 ( 三 ) : 211-232 ( 2007 ) 2003 [j3] 恩斯特·齐默尔曼 :
一般模态逻辑和正模态逻辑中的基本可定义性和完备性。 J.日志。 语言信息。 12 ( 1 ) : 99-117 ( 2003 ) 2002 [注2] 恩斯特·齐默尔曼 :
次直觉命题逻辑的谓词逻辑扩展。 Stud Logica公司 72 ( 三 ) : 401-410 ( 2002 ) [j1] 恩斯特·齐默尔曼 :
皮尔士自然演绎法则。 西奥。 计算。 科学。 275 ( 1-2 ) : 561-574 ( 2002 ) 2001 【c1】 恩斯特·齐默尔曼 :
亚直觉主义逻辑及其方法。 RelMiCS公司 2001 : 228-240