编辑配置文件(在新选项卡中打开) 史蒂夫·吉安布罗内 合著者距离 作者ID: 菌毛 发布日期: 史蒂夫·吉安布罗内;吉安布罗内,S。 已编制索引的文档: 15出版物自1980年以来 审查活动: 34条评论 合著者: 5位合著者具有8份联合出版物 60位合作作者 合著者 7 单作者的 6 罗伯特·肯尼思·梅耶 三 阿拉斯代尔·厄克哈特 1 罗斯·托马斯·布雷迪 1 阿列克桑达尔·克伦 1 马丁·埃罗尔·彼得 全部的 前5名系列 4 Studia Logica公司 2 数理逻辑报告 2 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 2 逻辑科公报 1 哲学逻辑杂志 1 符号逻辑杂志 1 逻辑与分析。Nouvelle Série公司 1 圣母院形式逻辑杂志 领域 15 数学逻辑和基础(03-XX) 1 一般性和全局性主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用61中的次44文件 引用人▼ 年份▼ 伽马射线失效。 Zbl 0586.03016号 罗伯特·梅耶(Robert K.Meyer)。;史蒂夫·吉安布罗内;罗斯·T·布雷迪。 15 1984 \(TW_+/)和(RW_+\)是可判定的。 Zbl 0587.03014号 史蒂夫·吉安布罗内 15 1985 半格逻辑的证明理论。 Zbl 0611.03005号 吉安布罗内,S。;A.厄克哈特。 9 1987 Gentzen系统和相关逻辑的决策程序。(摘要)。 Zbl 0523.03015号 史蒂夫·吉安布罗内 4 1982 无收缩半格语义。 Zbl 0624.03015号 史蒂夫·吉安布罗内;罗伯特·梅耶(Robert K.Meyer)。;阿拉斯代尔·厄克哈特 4 1987 关于半格逻辑证明理论的进一步结果。 Zbl 0627.03006号 罗伯特·梅耶(Robert K.Meyer)。;史蒂夫·吉安布罗内;阿拉斯代尔·厄克哈特;埃罗尔·马丁。 三 1988 一些布尔相关逻辑的完备性和保守扩展结果。 Zbl 0694.03012号 史蒂夫·吉安布罗内;罗伯特·梅耶(Robert K.Meyer)。 三 1989 没有WI的相关逻辑的实际简化模型。 Zbl 0786.03015号 史蒂夫·吉安布罗内 三 1992 对“两个正相关逻辑的决策程序”的批评。 Zbl 0597.03010号 史蒂夫·吉安布罗内 2 1985 四个相关的Gentzen系统。 Zbl 0625.03008号 史蒂夫·吉安布罗内;阿列克桑达尔·克伦 2 1987 关于两个正相关逻辑的所谓Gentzen公式。 兹伯利0586.03015 史蒂夫·吉安布罗内 1 1985 没有WI的相关逻辑的实际简化模型。 Zbl 0786.03015号 詹布隆,Steve 三 1992 一些布尔相关逻辑的完备性和保守扩展结果。 Zbl 0694.03012号 史蒂夫·吉安布罗内;罗伯特·梅耶(Robert K.Meyer)。 三 1989 关于半格逻辑证明理论的进一步结果。 Zbl 0627.03006号 罗伯特·梅耶(Robert K.Meyer)。;史蒂夫·吉安布罗内;阿拉斯代尔·厄克哈特;埃罗尔·马丁。 三 1988 半格逻辑的证明理论。 Zbl 0611.03005号 吉安布罗内,S。;A.厄克哈特。 9 1987 无收缩半格语义。 Zbl 0624.03015号 史蒂夫·吉安布罗内;罗伯特·梅耶(Robert K.Meyer)。;阿拉斯代尔·厄克哈特 4 1987 四个相关的Gentzen系统。 Zbl 0625.03008号 詹布隆,Steve;阿列克桑达尔·克伦 2 1987 \(TW_+/)和(RW_+\)是可判定的。 Zbl 0587.03014号 史蒂夫·吉安布罗内 15 1985 对“两个正相关逻辑的决策程序”的批评。 Zbl 0597.03010号 史蒂夫·吉安布罗内 2 1985 关于两个正相关逻辑的所谓Gentzen公式。 Zbl 0586.03015号 史蒂夫·吉安布罗内 1 1985 伽马射线失效。 Zbl 0586.03016号 罗伯特·梅耶(Robert K.Meyer)。;史蒂夫·吉安布罗内;罗斯·T·布雷迪。 15 1984 Gentzen系统和相关逻辑的决策程序。(摘要)。 Zbl 0523.03015号 史蒂夫·吉安布罗内 4 1982 所有引用出版物 前5名被引用出版物 全部的 前5名37位作者引用 5 杰玛·罗伯斯 4 肖恩·斯坦德弗 三 史蒂夫·吉安布罗内 三 米尔贾纳·伊利奇 三 Sandra M.洛佩兹。 三 何塞·门德斯。 三 格雷格·雷斯塔尔 三 耶鲁大学维斯 2 何塞·米盖尔·布兰科 2 罗斯·托马斯·布雷迪 2 谢尔盖·奥丁佐夫。 2 约翰·斯莱尼。 1 比姆博,卡塔林 1 科斯塔·多森 1 字体,Josep Maria 1 诺里希罗·卡米德 1 Micha Kozakł 1 阿列克桑达尔·克伦 1 谢·艾伦·洛根 1 罗伯特·肯尼思·梅耶 1 Hiroyuki Naruse 1 Ø戈尔,托雷·费特兰 1 杰弗里·奥尔森。 1 小野,Hiroakira 1 或者艾瓦·奥斯卡。 1 Jesüs R.Paradela。 1 詹姆斯·拉弗瑞。 1 马科斯·M·雷西奥。 1 冈萨洛·罗德里格斯 1 高弘·塞基 1 斯坦尼斯拉夫·斯佩兰斯基。 1 马修·斯宾克斯 1 巴渝苏拉索 1 阿拉斯代尔·厄克哈特 1 罗伯特·韦洛夫 1 海因里希·西奥多 1 杨恩斯克 全部的 前5名13篇连载文章中引用 10 Studia Logica公司 9 哲学逻辑杂志 4 逻辑与逻辑哲学 三 符号逻辑杂志 三 圣母院形式逻辑杂志 2 数学逻辑季刊(MLQ) 2 符号逻辑综述 1 代数通讯 1 合成 1 理论计算机科学 1 逻辑科公报 1 逻辑、语言与信息杂志 1 泛逻辑 在5个字段中引用 44 数学逻辑和基础(03-XX) 三 阶、格、有序代数结构(06-XX) 2 计算机科学(68至XX) 1 历史和传记(01-XX) 1 一般代数系统(08-XX) 按年份列出的引文