简·冯·柏拉图
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2018 [公元25年] 简·冯·柏拉图 :
库尔特·哥德尔的《逻辑的第一步:通过自然演绎系统在算术和集合论中的形式证明》。 牛市。 符号。 日志。 24 ( 三 ) : 319-335 ( 2018 ) 2016 [第2页] 简·冯·柏拉图 :
显式合成及其在归一化证明中的应用。 证明理论语义学的进展 2016 : 139-152 2015 【c3】 简·冯·柏拉图 :
寻找形式计算的根源。 HaPoC公司 2015 : 300-320 2014 【b2】 萨拉·内格里 , 简·冯·柏拉图 :
证明分析-对希尔伯特最后一个问题的贡献。 剑桥大学出版社 2014 ,国际标准图书编号 978-1-10-741723-6 第I-XI页,1-265页 [公元24年] 简·冯·柏拉图 :
大卫·希尔伯特(David Hilbert)1917-1933年关于算术和逻辑基础的讲座。 威廉·埃瓦尔德(William Ewald)和威尔弗里德·西格(Wilfried Sieg)编辑。 施普林格,柏林,海德堡和纽约,2013,xxv+1062 pp。 牛市。 符号。 日志。 20 ( 三 ) : 363-365 ( 2014 ) [公元23年] 简·冯·柏拉图 :
普遍性与存在性:历史视野中的量化逻辑。 牛市。 符号。 日志。 20 ( 4 ) : 417-448 ( 2014 ) [公元22年] 简·冯·柏拉图 :
从公理逻辑到自然演绎。 Stud Logica公司 102 ( 6 ) : 1167-1184 ( 2014 ) 2012 [公元21年] 简·冯·柏拉图 :
Gentzen的证明系统:天才作品中的副产品。 牛市。 符号。 日志。 18 ( 三 ) : 313-367 ( 2012 ) [公元20年] 简·冯·柏拉图 , 安妮卡·塞德斯 :
经典自然演绎中的正规可导性。 版本符号。 日志。 5 ( 2 ) : 205-211 ( 2012 ) 2011 [公元19年] 简·冯·柏拉图 :
序贯演算与Gentzen的自然演绎法同构。 版本符号。 日志。 4 ( 1 ) : 43-53 ( 2011 ) 2010 [公元18年] 简·冯·柏拉图 :
射影几何和仿射几何中证明的组合分析。 Ann.纯粹应用。 日志。 162 ( 2 ) : 144-161 ( 2010 )
2000 – 2009
2009 [r1] 简·冯·柏拉图 :
Gentzen的逻辑。 从罗素到教会的逻辑 2009 : 667-721 2008 [公元17年] 简·冯·柏拉图 :
Gentzen关于自然演绎归一化的证明。 牛市。 符号。 日志。 14 ( 2 ) : 240-257 ( 2008 ) 2007 [公元16年] 简·冯·柏拉图 :
在Löwenheim-Skolem定理的阴影下:数学证明的早期组合分析。 牛市。 符号。 日志。 13 ( 2 ) : 189-225 ( 2007 ) 2005 [j15] 简·冯·柏拉图 :
西尔维斯特猜想的构造性方法。 J.大学。 计算。 科学。 11 ( 12 ) : 2165-2178 ( 2005 ) [公元14年] 简·冯·柏拉图 :
模态逻辑中的正规可导性。 数学。 日志。 问:。 51 ( 6 ) : 632-638 ( 2005 ) [第1页] 萨拉·内格里 , 简·冯·柏拉图 :
经典概念和构造概念及证明的二重性。 从集合和类型到拓扑和分析 2005 2004 [j13] 萨拉·内格里 , 简·冯·柏拉图 , 蒂埃里·科昆 :
订单关系的实证理论分析。 架构(architecture)。 数学。 日志。 43 ( 三 ) : 297-310 ( 2004 ) [公元12年] 萨拉·内格里 , 简·冯·柏拉图 :
格理论的证明系统。 数学。 结构。 计算。 科学。 14 ( 4 ) : 507-526 ( 2004 ) 2003 [j11] 简·冯·柏拉图 :
从自然演绎到序列演算的转换。 数学。 日志。 问:。 49 ( 5 ) : 435-443 ( 2003 ) [j10] 简·冯·柏拉图 :
斯科利姆对哥德尔-杜米特逻辑的发现。 Stud Logica公司 73 ( 1 ) : 153-157 ( 2003 ) [公元9年] 简·冯·柏拉图 :
重读根岑。 合成。 137 ( 1-2 ) : 195-209 ( 2003 ) 2001 【b1】 萨拉·内格里 , 简·冯·柏拉图 :
结构证明理论。 剑桥大学出版社 2001 ,国际标准图书编号 978-0-521-79307-0 第I-XVII、1-257页 [j8] 简·冯·柏拉图 :
没有多重切割的Gentzen Hauptsatz的证明。 架构(architecture)。 数学。 日志。 40 ( 1 ) : 9-18 ( 2001 ) [j7] 简·冯·柏拉图 :
带有一般消除规则的自然扣除。 架构(architecture)。 数学。 日志。 40 ( 7 ) : 541-567 ( 2001 ) [j6] 萨拉·内格里 , 简·冯·柏拉图 :
自然演绎式序贯微积分。 J.塞姆。 日志。 66 ( 4 ) : 1803-1816 ( 2001 ) 2000 [j5] 简·冯·柏拉图 :
自然演绎中的范式问题。 数学。 日志。 问:。 46 ( 1 ) : 121-124 ( 2000 )
1990 – 1999
1999 【j4】 简·冯·柏拉图 :
可计算实数的开放区间中的顺序。 数学。 结构。 计算。 科学。 9 ( 1 ) : 103-108 ( 1999 ) 1998 [j3] 萨拉·内格里 , 简·冯·柏拉图 :
公理存在时的截消。 牛市。 符号。 日志。 4 ( 4 ) : 418-435 ( 1998 ) 【c2】 萨拉·内格里 , 简·冯·柏拉图 :
从克里普克模型到代数反估值。 表格 1998 : 247-261 1997 [注2] 简·冯·柏拉图 :
希尔伯特关联几何和平行几何的形式化。 合成。 110 ( 1 ) : 127-141 ( 1997 ) 1995 [j1] 简·冯·柏拉图 :
构造几何学公理。 Ann.纯粹应用。 日志。 76 ( 2 ) : 169-200 ( 1995 ) [c1] 简·冯·柏拉图 :
建设性公理化的组织和发展。 类型 1995 : 288-296
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)