戈兰·桑德霍姆
人员信息
优化列表
2020年–今天
2024 [第4页] 戈兰·桑德霍姆 :
完整性定理? 那又怎么样! 关于扣除的观点 2024 : 39-50
2010 – 2019
2013 [第3页] 戈兰·桑德霍姆 :
演示与证明,作为 逻辑常数的构造、证明和意义 . 判断与逻辑的认识论基础 2013 : 15-22 [第2页] Göran Sundholm公司 :
控制和变更; 从亚里士多德到马丁·洛夫分析性发展的两条主线。 判断与逻辑的认识论基础 2013 : 23-35 2012 【j4】 戈兰·桑德霍姆 :
“推理与结果”重温:推理、结果、条件、暗示。 合成。 187 ( 三 ) : 943-956 ( 2012 ) [第1页] 戈兰·桑德霍姆 :
判断的双钻石。 现实主义——另类逻辑时代的反现实主义之争 2012 : 301-311 [电子1] 彼得·戴比杰 , 斯坦·林德斯特伦 , 埃里克·帕尔姆格伦 , 戈兰·桑德霍姆 :
认识论与本体论——佩尔·马丁·洛夫关于哲学和数学基础的论文。 逻辑、认识论与科学的统一 27, 施普林格 2012 ,国际标准图书编号 978-94-007-4434-9 [目录]
2000 – 2009
2006 [j3] 戈兰·桑德霍姆 :
自然演绎派生的语义值。 合成。 148 ( 三 ) : 623-638 ( 2006 )
1990 – 1999
1997 [注2] 戈兰·桑德霍姆 :
建构逻辑的隐含认识方面。 J.日志。 语言信息。 6 ( 2 ) : 191-212 ( 1997 )
1980 – 1989
1983 [j1] 戈兰·桑德霍姆 :
逻辑常数的构造、证明和含义。 J.菲洛斯。 日志。 12 ( 2 ) : 151-172 ( 1983 )