编辑配置文件（在新选项卡中打开） 彼得·约瑟夫·施罗德·海斯特 合著者距离 作者ID： 施罗德·海斯特·佩特·约瑟夫 发布方式： 彼得·施罗德·海斯特;彼得·约瑟夫·施罗德·海斯特 主页： https://uni-tuebingen.de/en/faculties/factory-of-science/departments/computer-sc。。。 外部链接： MGP公司·ORCID公司·维基数据·数据库许可证·接地·ID参考 已编制索引的文档： 41出版物自1981年以来，包括1本书 10作为编辑的贡献·1进一步贡献 合著者： 14合著者具有21联合出版物 130位合作作者 全部的 前5名合著者 30 单作者的 8 托马斯·皮埃查 三 皮埃尔·爱德华·布尔 三 科斯塔·多森 三 格哈德·海因兹曼 三 威尔弗里德·霍奇斯 2 de Campos Sanz，瓦格纳 2 拉尔斯·哈伦亚斯 2 莱因哈德·卡勒 1 沃尔夫冈·本科维茨 1 大卫·宾德（David A.Binder）。 1 帕特里齐奥·孔图 1 安德烈·T·福尔曼。 1 沃尔克·哈尔巴赫 1 沃尔特·霍林 1 汉斯·坎普 1 曼弗雷德·库普费尔 1 格里戈里·奥尔霍维科夫。 1 埃里克·奥尔森。 1 汉斯·罗特 1 沃尔夫冈·斯波恩 1 霍尔格·斯特姆 1 Tranchini，卢卡 1 凯·弗雷德里克·韦迈耶 1 托马斯·埃德·齐默尔曼 全部的 前5名系列 4 Studia Logica公司 三 哲学逻辑杂志 三 合成 2 符号逻辑杂志 2 圣母院形式逻辑杂志 2 逻辑历史与哲学 2 逻辑与计算杂志 2 计算机科学课堂讲稿 2 逻辑趋势——Studia Logica图书馆 2 哲学科学 1 理论 1 纯逻辑与应用逻辑年鉴 1 汉堡数学学院 1 符号逻辑公报 1 IGPL逻辑杂志 1 托波伊 1 逻辑与计算研究 1 泛逻辑 1 符号逻辑述评 领域 50 数学逻辑和基础（03-XX） 8 一般性和全局性主题；集合（00-XX） 8 历史与传记（01-XX） 6 计算机科学（68至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 39出版物有被引用410中的次219文件 引用人▼ 年份▼ 自然演绎的自然延伸。 Zbl 0574.03045号 彼得·施罗德·海斯特 83 1984 证明理论语义学中的有效性概念。 Zbl 1101.03036号 彼得·施罗德·海斯特 50 2006 逻辑编程的证明理论方法。一： 条款作为规则。 Zbl 0723.68028号 拉尔斯·哈内斯;彼得·施罗德·海斯特 18 1990 证明理论语义、自我约束和演绎推理的格式。 Zbl 1308.03028号 彼得·施罗德·海斯特 18 2012 逻辑编程的证明理论方法。二： 程序作为定义。 Zbl 0769.68014号 拉尔斯·哈伦亚斯;施罗德-海斯特 17 1991 解析和结构推理的起源：赫兹和根岑的早期证明理论思想。 Zbl 1005.03004号 彼得·施罗德·海斯特 16 2002 证明理论语义学的进展。 Zbl 1331.03009号 16 2016 高级规则的演算、命题量化和证明理论和谐的基本方法。 Zbl 1344.03046号 彼得·施罗德·海斯特 14 2014 Untersuchungen zur regellogischen Deutung von Aussagenverknuepfungen（德国）。（论文）。 Zbl 0514.94022号 彼得·约瑟夫·施罗德·海斯特 13 1981 范畴和假设：对标准语义学的一些基本假设的批判。 Zbl 1275.03054号 彼得·施罗德·海斯特 12 2012 广义定义反射和反演原理。 Zbl 1138.03044号 彼得·施罗德·海斯特 11 2007 序贯演算和双向自然演绎：在证明理论语义的适当基础上。 Zbl 1275.03053号 彼得·施罗德·海斯特 11 2009 子结构逻辑。1990年10月7日至8日，德国图宾根大学自然语言处理系统研讨会。 Zbl 0811.68056号 10 1994 关于扁平化消除规则。 Zbl 1329.03087号 格里戈里·奥尔霍维科夫。;彼得·施罗德·海斯特 10 2014 量词的一般规则和直觉算子&，\（\vee\），\（\supset\），\。 Zbl 0562.03028号 彼得·施罗德·海斯特 9 1984 广义消去推理，更高层次的规则，以及作为规则的含义对连续微积分的解释。 Zbl 1339.03049号 彼得·施罗德·海斯特 9 2014 证明理论语义中的开放问题。 兹比尔1528.03232 彼得·施罗德·海斯特 9 2016 证明理论语义的完整性失败。 Zbl 1326.03068号 托马斯·皮埃查;de Campos Sanz，瓦格纳;彼得·施罗德·海斯特 8 2015 含意作为规则与含意作为链接：后续演算的另一种含意左侧模式。 兹伯利1228.03039 彼得·施罗德·海斯特 7 2011 弗雷格置换论证的模型理论重建。 Zbl 0642.03004号 彼得·施罗德·海斯特 6 1987 定义反射和基本逻辑。 Zbl 1263.03052号 彼得·施罗德·海斯特 6 2013 直觉命题逻辑相对于证明理论语义的不完全性。 Zbl 07055418号 托马斯·皮埃查;彼得·施罗德·海斯特 6 2019 结构框架、子结构逻辑和消除推理的作用。 Zbl 0778.03017号 彼得·施罗德·海斯特 5 1991 建构语义、规则的可接受性和皮尔士定律的有效性。 Zbl 1323.03086号 de Campos Sanz，瓦格纳;托马斯·皮埃查;彼得·施罗德·海斯特 5 2014 埃克曼悖论。 Zbl 1417.03288号 彼得·施罗德·海斯特;Tranchini，卢卡 5 2017 限制最初的后果：身份、收缩和削减之间的权衡。 Zbl 1439.03098号 彼得·施罗德·海斯特 5 2016 唯一性、可定义性和插值。 Zbl 0651.03026号 科斯塔·多森;彼得·施罗德·海斯特 4 1988 波普尔的演绎推理理论和逻辑常数的概念。 Zbl 0568.03004号 彼得·施罗德·海斯特 4 1984 证明理论语义中的和谐：一个简化分析。 兹比尔1429.03194 彼得·施罗德·海斯特 4 2015 重新审视弗雷格的排列论证。 Zbl 1110.03007号 凯·弗雷德里克·韦迈耶;彼得·施罗德·海斯特 三 2005 保守和独特。 Zbl 0611.03011号 科斯塔·多森;彼得·施罗德·海斯特 三 1985 悖论和结构规则。 Zbl 1320.03024号 彼得·施罗德·海斯特 三 2012 公理化思维、证明的一致性以及对内涵证明理论语义的探索。 Zbl 07633000号 彼得·施罗德·海斯特 三 2022 证明理论语义学中原子系统的定义视图。 Zbl 1418.03169号 托马斯·皮埃查;彼得·施罗德·海斯特 2 2017 哲学中的逻辑。（哲学逻辑） Zbl 1205.03017号 1 2005 计算机科学中的证明理论。2001年10月7日至12日，德国达格斯图尔城堡，PTCS 2001国际研讨会。诉讼程序。 Zbl 0977.00021号 1 2001 逻辑程序设计中的假设推理和定义反射。 Zbl 1502.68073号 彼得·施罗德·海斯特 1 1991 基于消除规则的证明理论有效性。 Zbl 1410.03022号 施罗德-海斯特 1 2015 数学证明的基础。哲学和逻辑思考。（Die Grundlagen mathematischer Beweise.《哲学-生命》） Zbl 1436.03074号 彼得·施罗德·海斯特 1 2018 公理化思维、证明的一致性以及对内涵证明理论语义的探索。 Zbl 07633000号 彼得·施罗德·海斯特 三 2022 直觉命题逻辑在证明论语义方面的不完全性。 Zbl 07055418号 托马斯·皮埃查;彼得·施罗德·海斯特 6 2019 数学证明的基础。哲学和逻辑思考。（Die Grundlagen mathematischer Beweise.《哲学-生命》） Zbl 1436.03074号 彼得·施罗德·海斯特 1 2018 埃克曼悖论。 兹比尔1417.03288 彼得·施罗德·海斯特;Tranchini，卢卡 5 2017 证明理论语义学中原子系统的定义视图。 Zbl 1418.03169号 托马斯·皮埃查;彼得·施罗德·海斯特 2 2017 证明理论语义学的进展。 Zbl 1331.03009号 16 2016 证明理论语义中的开放问题。 兹比尔1528.03232 彼得·施罗德·海斯特 9 2016 限制初始序列：在同一性、收缩和剪切之间进行权衡。 Zbl 1439.03098号 彼得·施罗德·海斯特 5 2016 证明理论语义的完整性失败。 Zbl 1326.03068号 托马斯·皮埃查;de Campos Sanz，瓦格纳;彼得·施罗德·海斯特 8 2015 证明理论语义中的和谐：一个简化分析。 Zbl 1429.03194号 彼得·施罗德·海斯特 4 2015 基于消除规则的证明理论有效性。 Zbl 1410.03022号 施罗德-海斯特 1 2015 高级规则的演算、命题量化和证明理论和谐的基本方法。 Zbl 1344.03046号 彼得·施罗德·海斯特 14 2014 关于扁平化消除规则。 Zbl 1329.03087号 格里戈里·奥尔霍维科夫。;彼得·施罗德·海斯特 10 2014 广义消去推论、更高层次的规则以及后续演算的含意-规则解释。 兹比尔1339.03049 彼得·施罗德·海斯特 9 2014 建构语义、规则的可接受性和皮尔士定律的有效性。 Zbl 1323.03086号 de Campos Sanz，瓦格纳;托马斯·皮埃查;彼得·施罗德·海斯特 5 2014 定义反射和基本逻辑。 Zbl 1263.03052号 彼得·施罗德·海斯特 6 2013 证明理论语义、自我约束和演绎推理的格式。 兹比尔1308.03028 彼得·施罗德·海斯特 18 2012 范畴和假设：对标准语义学的一些基本假设的批判。 Zbl 1275.03054号 彼得·施罗德·海斯特 12 2012 悖论和结构规则。 Zbl 1320.03024号 彼得·施罗德·海斯特 三 2012 含意作为规则与含意作为链接：后续演算的另一种含意左侧模式。 Zbl 1228.03039号 彼得·施罗德·海斯特 7 2011 序贯演算和双向自然演绎：在证明理论语义的适当基础上。 Zbl 1275.03053号 彼得·施罗德·海斯特 11 2009 广义定义反射和反演原理。 Zbl 1138.03044号 彼得·施罗德·海斯特 11 2007 证明理论语义学中的有效性概念。 Zbl 1101.03036号 彼得·施罗德·海斯特 50 2006 重新审视弗雷格的排列论证。 Zbl 1110.03007号 凯·弗雷德里克·韦迈耶;彼得·施罗德·海斯特 三 2005 哲学中的逻辑。（哲学逻辑） Zbl 1205.03017号 1 2005 解析和结构推理的起源：赫兹和根岑的早期证明理论思想。 Zbl 1005.03004号 彼得·施罗德·海斯特 16 2002 计算机科学中的证明理论。2001年10月7日至12日，德国达格斯图尔城堡，PTCS 2001国际研讨会。诉讼程序。 Zbl 0977.00021号 1 2001 子结构逻辑。德国图宾根大学自然语言处理系统研讨会，1990年10月7日至8日。 Zbl 0811.68056号 10 1994 逻辑编程的证明理论方法。二： 程序作为定义。 Zbl 0769.68014号 拉尔斯·哈伦亚斯;彼得·施罗德·海斯特 17 1991 结构框架、子结构逻辑和消除推理的作用。 兹比尔0778.03017 彼得·施罗德·海斯特 5 1991 逻辑程序设计中的假设推理和定义反射。 Zbl 1502.68073号 彼得·施罗德·海斯特 1 1991 逻辑编程的证明理论方法。一： 条款作为规则。 Zbl 0723.68028号 拉尔斯·哈伦亚斯;彼得·施罗德·海斯特 18 1990 唯一性、可定义性和插值。 Zbl 0651.03026号 科斯塔·多森;彼得·施罗德·海斯特 4 1988 弗雷格置换论证的模型理论重建。 Zbl 0642.03004号 彼得·施罗德·海斯特 6 1987 保守和独特。 Zbl 0611.03011号 科斯塔·多森;施罗德-海斯特 三 1985 自然演绎的自然延伸。 Zbl 0574.03045号 彼得·施罗德·海斯特 83 1984 量词的一般规则和直觉算子&，\（\vee\），\（\supset\），\。 Zbl 0562.03028号 彼得·施罗德·海斯特 9 1984 波普尔的演绎推理理论和逻辑常数的概念。 Zbl 0568.03004号 彼得·施罗德·海斯特 4 1984 Untersuchungen zur regellogischen Deutung von Aussagenverknuepfungen（德国）。（论文）。 Zbl 0514.94022号 彼得·约瑟夫·施罗德·海斯特 13 1981 所有引用出版物 前5名被引用出版物 全部的 前5名170位作者引用 16 彼得·约瑟夫·施罗德·海斯特 12 尼西姆·弗朗西兹 10 Tranchini，卢卡 8 海因里希·西奥多 6 巴托什·维奇科夫斯基 5 米勒，戴尔·艾伦 5 托马斯·皮埃查 5 阅读，斯蒂芬 5 冯·柏拉图，简 4 迈克尔·阿恩特 4 萨拉·内格里 4 马蒂亚·彼得罗洛 4 安东尼奥·阿拉戈纳广场 4 Prawitz，达格 三 萨拉·艾汉 三 de Campos Sanz，瓦格纳 三 博格丹·迪彻 三 Furio Honsell 三 莱因哈德·卡勒 三 卡洛·尼古莱 三 伊沃·佩兹拉 三 保罗·皮斯通 三 大卫·J·派姆。 三 戴维·里普利 三 洛伦佐·保罗·罗西 三 雅罗斯拉夫·什兰科。 2 米尔贾纳Borisavljević 2 罗斯·托马斯·布雷迪 2 莱昂纳多·塞拉吉奥利 2 蝉蜕、阿加塔 2 亚历杭德罗·迪亚斯·卡洛 2 科斯塔·多森 2 Gilles Dowek 2 罗伊·戴克霍夫 2 安德烈亚斯·费尔斯塔德 2 简·赫尔曼·杰弗斯 2 亚历山大·盖奥尔基乌。 2 拉尔斯·哈伦亚斯 2 劳埃德·亨伯斯通 2 托尼·赫肯斯 2 安德烈·因德泽扎克（Andrzej Indrzejczak） 2 安斯滕·默奇·克莱夫 2 库尔比斯，尼尔斯 2 哈维尔·莱格里斯 2 马里诺米库兰 2 恩里科·莫里科尼 2 朱利安·穆尔齐 2 阿尔贝托·奈博 2 Vivek Nigam先生 2 费德里科·马蒂亚斯·佩洛斯 2 弗朗西斯科·保利 2 胜美佐佐木 2 伊万·斯卡格内托 2 马蒂亚斯·希恩 2 柳竹村 2 尼尔·W·坦南。 2 劳拉·泰斯科尼 2 塔尔莫乌斯塔卢 2 瓦尔莫·维尼 2 Edward N.扎尔塔。 2 安永Zimmermann 1 Francine F.阿贝莱斯。 1 米洛舍·阿季奇 1 大卫·约瑟夫·安德森 1 广岛青山 1 谢尔盖·阿特莫夫 1 费德里科·阿西埃里 1 阿诺·阿夫隆 1 罗兰·贝克豪斯（Roland C.Backhouse）。 1 吉拉德·本·阿维 1 布鲁诺·本岑 1 大卫·宾德（David A.Binder）。 1 布拉米，斯蒂芬 1 苏珊娜·博布赞 1 布拉尼斯拉夫·博里奇奇。 1 布伦库什，君士坦丁·C。 1 罗伯托·布鲁尼 1 沃伊切赫·巴斯科夫斯基 1 戴维·卡塔 1 斯特吉奥斯·查齐基里亚基迪斯 1 保罗·奇索姆 1 巴勃罗·科布雷罗斯 1 可口、蒂埃里 1 Ruy JoséGuerra Barretto De Queiroz 1 奥利维尔·德兰德 1 彼得·戴比杰 1 Günther埃德尔 1 弗朗索瓦·法格斯 1 字体，Josep Maria 1 丹尼尔·弗雷德霍姆 1 法语、罗汉语 1 迈克尔·加巴伊（Michael J.Gabbay）。 1 默多克·詹姆斯·加贝 1 理查德·加纳 1 雷内·加扎里 1 弗朗西斯科·根科。 1 Rea戈兰 1 诺伯特·格拉茨 1 朱塞佩·格雷科 1 雷米·海默尔 …还有70多名作者 全部的 前5名32篇连载文章中引用 30 Studia Logica公司 23 符号逻辑述评 22 哲学逻辑杂志 18 合成 9 圣母院形式逻辑杂志 8 托波伊 7 理论计算机科学 7 逻辑与逻辑哲学 6 逻辑科公报 5 逻辑历史与哲学 5 逻辑、语言与信息杂志 5 泛逻辑 4 符号逻辑公报 4 应用逻辑杂志 2 符号逻辑杂志 2 京都大学数学科学研究所出版物 2 纯逻辑与应用逻辑年鉴 2 自动推理杂志 2 计算的形式方面 2 数学逻辑档案 2 埃尔肯特尼斯 1 比特币 1 模糊集与系统 1 《数学研究所出版物》。Nouvelle Série公司 1 美国数学学会会刊 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 应用非经典逻辑杂志 1 数学逻辑季刊（MLQ） 1 逻辑程序设计理论与实践 1 计算机科学中的逻辑方法 1 伦敦皇家学会哲学学报。A.数学、物理和工程科学 全部的 前5名在14个字段中引用 207 数学逻辑和基础（03-XX） 27 计算机科学（68至XX） 21 历史与传记（01-XX） 8 一般性和全局性主题；集合（00-XX） 6 阶、格、有序代数结构（06-XX） 三 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 2 组合数学（05-XX） 2 范畴理论；同调代数（18-XX） 2 代数拓扑（55-XX） 2 量子理论（81-XX） 1 一般代数系统（08-XX） 1 测量和集成（28-XX） 1 几个复变量和分析空间（32-XX） 1 几何形状（51至XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.