编辑配置文件(在新选项卡中打开) 卡图齐·小野 合著者距离 作者ID: 野野佳子 发布日期: 卡图齐·小野 已编制索引的文档: 31出版物自1957年起 1进一步贡献 合著者: 3位合著者具有3联合出版物 5位合作作者 全部的 前5名合著者 28 单作者的 1 埃比,Y。 1 藤田俊雄 1 滨野秋彦 1 J.伊藤。 1 Y.-o.松野。 1 T·米诺塔。 1 佐藤三郎 1 米诺·奥塔 1 Nobumasa武满彻 1 吉泽昭明 系列 25 名古屋数学杂志 2 日本科学哲学协会年鉴 2 日本数学学会杂志 2 日本科学院院刊 1 RIMS Kokyuroku公司 领域 9 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 1 流体力学(76-XX) 1 经典热力学,传热(80-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 21出版物有被引用64中的次36文件 引用人▼ 年份▼ 关于描述形式演绎的实用方法。 Zbl 0111.00703号 卡图齐·小野 13 1962 论原始逻辑的普遍性。 Zbl 0163.00504号 卡图齐·小野 12 1966 某种形式的理论。 Zbl 0142.24601号 卡图齐·小野 11 1965 作为集合论原型的更强大的对象论体系。 Zbl 0222.02073号 卡图齐·小野 4 1963 作为集合论原型的数学对象理论。 Zbl 0104.27403号 卡图齐·小野 4 1962 两个自洽抽象的相互矛盾。 Zbl 0163.00701号 卡图齐·小野 2 1966 关于形式理论。 Zbl 0165.01204号 卡图齐·小野 2 1968 只有一个原始概念的形式系统。 Zbl 0163.00703号 卡图齐·小野 2 1966 原始逻辑和机械校对的形式主义。 Zbl 0192.08802号 卡图齐·小野 2 1966 追求简单的基本制度。 Zbl 0142.24602号 卡图齐·小野 1 1966 区分最小逻辑和其他逻辑的引理。 Zbl 0163.00601号 卡图齐·小野 1 1966 强化逻辑。 兹比尔0163.00603 卡图齐·小野 1 1966 关于原始逻辑中形式演绎的研究。 Zbl 0162.01301号 卡图齐·小野 1 1968 关于原逻辑的一类真值计算。 Zbl 0162.01302号 卡图齐·小野 1 1968 论命题逻辑的禁忌处理。 Zbl 0169.29605号 卡图齐·小野 1 1968 利用理解算子对选择公理进行新的表述。 Zbl 0222.02074 卡图齐·小野 1 1963 基于独特生成原理的集合论。 Zbl 0079.07701号 卡图齐·小野 1 1957 关于二元关系的一些性质。 Zbl 0079.07702号 卡图齐·小野 1 1957 关于形式系统的发展,从原始逻辑开始。 Zbl 0163.00704号 卡图齐·小野 1 1966 论正逻辑的一个特征。 Zbl 0163.00705号 卡图齐·小野;J.伊藤。 1 1966 将逻辑简化为原始逻辑。 Zbl 0166.25402号 卡图齐·小野 1 1967 关于形式理论。 Zbl 0165.01204号 卡图齐·小野 2 1968 关于原始逻辑中形式演绎的研究。 Zbl 0162.01301号 卡图齐·小野 1 1968 关于原逻辑的一类真值计算。 兹伯利0162.01302 卡图齐·小野 1 1968 论命题逻辑的禁忌处理。 Zbl 0169.29605号 卡图齐·小野 1 1968 将逻辑简化为原始逻辑。 Zbl 0166.25402号 卡图齐·小野 1 1967 论原始逻辑的普遍性。 Zbl 0163.00504号 卡图齐·小野 12 1966 两种自洽抽象的相互矛盾。 兹比尔0163.00701 卡图齐·小野 2 1966 只有一个原始概念的形式系统。 Zbl 0163.00703号 卡图齐·小野 2 1966 原始逻辑和机械校对的形式主义。 Zbl 0192.08802号 卡图齐·小野 2 1966 追求简单的基本制度。 Zbl 0142.24602号 卡图齐·小野 1 1966 区分最小逻辑和其他逻辑的引理。 Zbl 0163.00601号 卡图齐·小野 1 1966 强化逻辑。 Zbl 0163.00603号 卡图齐·小野 1 1966 关于形式系统的发展,从原始逻辑开始。 Zbl 0163.00704号 卡图齐·小野 1 1966 论正逻辑的一个特征。 Zbl 0163.00705号 卡图齐·小野;J.伊藤。 1 1966 某种形式的理论。 Zbl 0142.24601号 卡图齐·小野 11 1965 作为集合论原型的更强大的对象论体系。 Zbl 0222.02073号 卡图齐·小野 4 1963 利用理解算子对选择公理进行新的表述。 Zbl 0222.02074 卡图齐·小野 1 1963 关于描述形式演绎的实用方法。 Zbl 0111.00703号 卡图齐·小野 13 1962 作为集合论原型的数学对象理论。 Zbl 0104.27403号 卡图齐·小野 4 1962 基于独特生成原理的集合论。 Zbl 0079.07701号 卡图齐·小野 1 1957 关于二元关系的一些性质。 Zbl 0079.07702号 卡图齐·小野 1 1957 所有引用出版物 前5名被引用出版物 全部的 前5名18位作者引用 21 卡图齐·小野 3 佐藤三郎 3 ShöróNagata 2 伊藤,J。 2 阿图尔·科尔尼·奥维茨 2 小野,Hiroakira 1 劳埃德·亨伯斯通 1 吉野井上 1 塞萨里·卡利西克 1 卡瓦达、肯齐 1 诺波尔·穆蒂 1 亚当·纳莫维奇 1 Ohama、Shigeo 1 米诺·奥塔 1 Pąk,卡罗尔 1 冈瑟·施密特 1 托马斯·斯特拉林 1 图盖、托西尤基 全部的 前5名7篇连载文章中引用 26 名古屋数学杂志 4 日本科学院院刊 1 离散数学 1 圣母院形式逻辑杂志 1 Studia Logica公司 1 自动推理杂志 1 计算机语言、系统和结构 在3个字段中引用 13 数学逻辑和基础(03-XX) 3 计算机科学(68至XX) 1 有序,格,有序代数结构(06-XX) 按年份列出的引文