编辑配置文件（在新选项卡中打开） Hirokazu西村 合著者距离 作者ID： 西村广子 发布日期： 西村，广和祖;西村，H。 主页： http://researchmap.jp/read0018327 外部链接： ResearchGate研究之门 已编制索引的文档： 109出版物自1977年以来，包括7其他arXiv预打印 1名编辑贡献·1进一步贡献 审查活动： 1152评论 合著者： 3位合著者具有3联合出版物 7位合作作者 合著者 107 单作者的 1 路易斯·德布罗意 1 铃木黑田 1 雷内·拉文德霍姆 1 武士大川 1 维塞林·佩特科夫 全部的 前5名系列 28 国际理论物理杂志 14 京都大学数学科学研究所出版物 9 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 8 应用数学 7 远东数学科学杂志 6 国际纯粹与应用数学杂志 4 Beiträge zur代数与几何 4 欧洲数学学会新闻稿 三 符号逻辑杂志 三 数学逻辑季刊（MLQ） 三 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 2 信息学报 2 哲学逻辑杂志 2 纯粹与应用代数杂志 2 比利时数学学会公报-西蒙·斯特文 1 数学物理报告 1 数学生物学通报 1 逻辑研究 全部的 前5名领域 47 数学逻辑和基础（03-XX） 37 整体分析，流形分析（58-XX） 32 几何图形（51至XX） 23 范畴理论；同调代数（18-XX） 16 量子理论（81-XX） 9 功能分析（46倍X倍） 8 微分几何（53-XX） 6 代数几何（14-XX） 5 历史和传记（01-XX） 4 总体主题；集合（00-XX） 4 非结合环与代数（17-XX） 4 拓扑群、李群（22日至XX日） 4 计算机科学（68至XX） 4 相对论和引力理论（83至XX） 2 阶、格、有序代数结构（06-XX） 2 交换代数（13-XX） 2 几个复变量和分析空间（32-XX） 1 组合数学（05-XX） 1 结合环与代数（16-XX） 1 实际功能（26年X月X日） 1 测量和集成（28-XX） 1 偏微分方程（35-XX） 1 动力系统和遍历理论（37至XX） 1 抽象谐波分析（43至XX） 1 算子理论（47-XX） 1 代数拓扑（55-XX） 1 光学、电磁理论（78-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 54出版物有被引用200中的次97文件 引用人▼ 年份▼ 量子逻辑中的序贯方法。 Zbl 0437.03034号 Hirokazu西村 17 1980 迷路的数学家中泽武雄。被遗忘的拟阵理论之父。 Zbl 1163.01001号 14 2009 从布尔值分析的角度探讨连续几何的维数理论。 Zbl 0574.51012号 Hirokazu西村 12 1984 经验集合论。 Zbl 0779.03020号 Hirokazu西村 10 1993 描述完整的流程逻辑。 Zbl 0423.68005号 Hirokazu西村 9 1980 布尔值李代数。 Zbl 0742.17021号 Hirokazu西村 8 1991 在可分离性假设下布尔值分析与约简理论的对偶性。 Zbl 0779.47034号 Hirokazu西村 8 1993 最小量子逻辑的证明理论。一、。 Zbl 0798.03062号 Hirokazu西村 8 1994 命题动态逻辑中的时序方法。 Zbl 0401.03005号 Hirokazu西村 7 1979 从相干量子逻辑到具有连续超选择规则的量子逻辑的布尔转移。 Zbl 0770.03020号 Hirokazu西村 7 1992 经验集合理论的表述。 Zbl 0804.03043号 Hirokazu西村 6 1994 正交类别的手册。 兹伯利08318.004 Hirokazu西村 6 1995 合成哈密顿力学。 Zbl 0878.58029号 Hirokazu西村 5 1997 建设性PDL的语义分析。 Zbl 0504.03010号 Hirokazu西村 5 1982 微分几何的逻辑量化。 Zbl 0846.18005号 Hirokazu西村 5 1996 量子逻辑中的根岑方法。 Zbl 1273.03089号 Hirokazu西村 4 2009 最小量子逻辑的证明理论。二、。 Zbl 0809.03045号 Hirokazu西村 4 1994 微管理论。 Zbl 0884.18014号 Hirokazu西村 4 1997 经验数据集。 Zbl 0830.18005号 Hirokazu西村 4 1995 代数群的逻辑量化。 Zbl 0846.18004号 Hirokazu西村 4 1995 拓扑理论的逻辑量化。 Zbl 0872.18002号 Hirokazu西村 三 1996 区间逻辑及其在英语时体研究中的应用。 Zbl 0446.03012号 西村，广和祖 三 1980 布尔值集理论在局部紧群抽象调和分析中的一些应用。 Zbl 0582.4305号 Hirokazu西村 三 1985 综合微分几何中的微分形式。 Zbl 0942.58008号 雷内·拉文德霍姆;西村，广和祖 三 1998 射流束的综合微分几何。 Zbl 1030.58001号 Hirokazu西村 三 2001 一阶结构的逻辑量化。 Zbl 0867.03021号 Hirokazu西村 三 1996 用Gentzen的时序方法研究一些时态逻辑。 Zbl 0446.03013号 Hirokazu西村 2 1980 射流束综合微分几何中的高阶预连接。 兹比尔1071.58004 Hirokazu西村 2 2004 射流束综合微分几何中的完整性。 Zbl 1044.58006号 Hirokazu西村 2 2003 并发程序一阶动态逻辑的算术完备性。 Zbl 0466.68023号 Hirokazu西村 2 1981 经验量子力学。 Zbl 0867.03022号 Hirokazu西村 2 1996 经验代数几何。 Zbl 0830.18006号 Hirokazu西村 2 1995 布尔值Dedekind域。 Zbl 0732.03031号 Hirokazu西村 2 1991 勘误表：高阶全微分的合成微分几何。 Zbl 1115.58005号 Hirokazu西村 1 2006 布尔值分析与\（C^*\）-代数拓扑归约理论之间的一些联系。 Zbl 0703.46040号 Hirokazu西村 1 1991 一些布尔值交换代数。 Zbl 0751.03017号 Hirokazu西村 1 1991 微线性Frölicher空间的微分几何。一、。 兹比尔1232.58001 Hirokazu西村 1 2010 分支结构的语义是否适合时序模态逻辑？ Zbl 0415.03016号 Hirokazu西村 1 1979 分支结构的语义是否适合非度量Ockhamit时态逻辑？ Zbl 0415.03017号 Hirokazu西村 1 1979 状态的布尔值分解理论。 Zbl 0592.46053号 Hirokazu西村 1 1985 合成微分超几何。 Zbl 0942.58011号 Hirokazu西村 1 1998 Heyting值集理论与纤维束。 Zbl 0654.03046号 Hirokazu西村 1 1988 合成微分几何中的第一个Bianchi恒等式。 Zbl 0989.51009号 Hirokazu西村 1 2001 Heyting值集理论与Sato超函数。 Zbl 0614.03058号 Hirokazu西村 1 1986 从L^*代数到AL^*代数的布尔转移原理。 Zbl 0805.03039号 Hirokazu西村 1 1993 综合微分几何中的非线性连接。 Zbl 0961.53011号 Hirokazu西村 1 1998 重新审视雅各比将军的身份。 兹比尔0942.58006 Hirokazu西村 1 1999 射流束综合微分几何中的仿射束定理。 Zbl 1167.51007号 Hirokazu西村 1 2007 雅各比将军的身份再次被重新审视。 Zbl 1130.58002号 西村，广和祖;武士大川 1 2007 在Cahiers拓扑中可以嵌入比方便向量空间大得多的一类Frölicher空间。 Zbl 1186.51007号 Hirokazu西村 1 2009 Frölicher空间中的微线性——超越了流形的统治哲学。 Zbl 1193.51017号 Hirokazu西村 1 2010 布尔值代数几何基础。 Zbl 0763.03029号 Hirokazu西村 1 1991 公理微分几何。II-1：向量场。 Zbl 1285.51010号 Hirokazu西村 1 2012 微线性Frölicher空间IV-2的微分几何。 Zbl 1312.58002号 Hirokazu西村 1 2013 微线性Frölicher空间IV-2的微分几何。 Zbl 1312.58002号 Hirokazu西村 1 2013 公理微分几何。II-1：向量场。 Zbl 1285.51010号 Hirokazu西村 1 2012 微线性Frölicher空间的微分几何。一、。 Zbl 1232.58001号 Hirokazu西村 1 2010 Frölicher空间中的微线性——超越了流形的统治哲学。 Zbl 1193.51017号 Hirokazu西村 1 2010 一位迷路的数学家，中泽武雄。被遗忘的拟阵理论之父。 Zbl 1163.01001号 14 2009 量子逻辑中的Gentzen方法。 Zbl 1273.03089号 Hirokazu西村 4 2009 在Cahiers拓扑中可以嵌入比方便向量空间大得多的一类Frölicher空间。 兹比尔1186.51007 Hirokazu西村 1 2009 射流束综合微分几何中的仿射束定理。 Zbl 1167.51007号 Hirokazu西村 1 2007 雅各比将军的身份再次被重新审视。 Zbl 1130.58002号 Hirokazu西村;武士大川 1 2007 勘误表：高阶全微分的合成微分几何。 Zbl 1115.58005号 西村，广和祖 1 2006 射流束综合微分几何中的高阶预连接。 Zbl 1071.58004号 Hirokazu西村 2 2004 射流束综合微分几何中的完整性。 Zbl 1044.58006号 Hirokazu西村 2 2003 射流束的综合微分几何。 Zbl 1030.58001号 Hirokazu西村 三 2001 合成微分几何中的第一个Bianchi恒等式。 Zbl 0989.51009号 Hirokazu西村 1 2001 重新审视雅各比将军的身份。 Zbl 0942.58006号 Hirokazu西村 1 1999 综合微分几何中的微分形式。 Zbl 0942.58008号 雷内·拉文德霍姆;Hirokazu西村 三 1998 合成微分超几何。 Zbl 0942.58011号 Hirokazu西村 1 1998 综合微分几何中的非线性连接。 Zbl 0961.53011号 Hirokazu西村 1 1998 合成哈密顿力学。 兹比尔0878.58029 Hirokazu西村 5 1997 微管理论。 Zbl 0884.18014号 Hirokazu西村 4 1997 微分几何的逻辑量化。 Zbl 0846.18005号 Hirokazu西村 5 1996 拓扑理论的逻辑量化。 Zbl 0872.18002号 Hirokazu西村 三 1996 一阶结构的逻辑量化。 Zbl 0867.03021号 Hirokazu西村 三 1996 经验量子力学。 Zbl 0867.03022号 Hirokazu西村 2 1996 正交类别的手册。 Zbl 0830.18004号 Hirokazu西村 6 1995 经验数据集。 Zbl 0830.18005号 Hirokazu西村 4 1995 代数群的逻辑量化。 Zbl 0846.18004号 Hirokazu西村 4 1995 经验代数几何。 Zbl 0830.18006号 Hirokazu西村 2 1995 最小量子逻辑的证明理论。一、。 Zbl 0798.03062号 西村，广和祖 8 1994 经验集合理论的表述。 Zbl 0804.03043号 Hirokazu西村 6 1994 最小量子逻辑的证明理论。二、。 Zbl 0809.03045号 Hirokazu西村 4 1994 经验集合论。 Zbl 0779.03020号 Hirokazu西村 10 1993 在可分离性假设下布尔值分析与约简理论的对偶性。 Zbl 0779.47034号 Hirokazu西村 8 1993 从L^*代数到AL^*代数的布尔转移原理。 Zbl 0805.03039号 Hirokazu西村 1 1993 从相干量子逻辑到具有连续超选择规则的量子逻辑的布尔转移。 Zbl 0770.03020号 Hirokazu西村 7 1992 布尔值李代数。 Zbl 0742.17021号 Hirokazu西村 8 1991 布尔值Dedekind域。 Zbl 0732.03031号 Hirokazu西村 2 1991 代数的布尔值分析与拓扑约简理论之间的一些联系。 Zbl 0703.46040号 Hirokazu西村 1 1991 一些布尔值交换代数。 Zbl 0751.03017号 Hirokazu西村 1 1991 布尔值代数几何基础。 Zbl 0763.03029号 Hirokazu西村 1 1991 Heyting值集理论与纤维束。 兹伯利0654.03046 Hirokazu西村 1 1988 Heyting值集理论与Sato超函数。 Zbl 0614.03058号 Hirokazu西村 1 1986 布尔值集理论在局部紧群抽象调和分析中的一些应用。 Zbl 0582.4305号 西村，广和祖 三 1985 状态的布尔值分解理论。 Zbl 0592.46053号 Hirokazu西村 1 1985 从布尔值分析的角度探讨连续几何的维数理论。 Zbl 0574.51012号 Hirokazu西村 12 1984 建设性PDL的语义分析。 Zbl 0504.03010号 Hirokazu西村 5 1982 并发程序一阶动态逻辑的算术完备性。 兹伯利0466.68023 Hirokazu西村 2 1981 量子逻辑中的序贯方法。 Zbl 0437.03034号 Hirokazu西村 17 1980 描述完整的流程逻辑。 Zbl 0423.68005号 Hirokazu西村 9 1980 区间逻辑及其在英语时体研究中的应用。 Zbl 0446.03012号 Hirokazu西村 三 1980 用Gentzen的时序方法研究一些时态逻辑。 Zbl 0446.03013号 Hirokazu西村 2 1980 命题动态逻辑中的时序方法。 Zbl 0401.03005号 Hirokazu西村 7 1979 分支结构的语义是否适合时序模态逻辑？ Zbl 0415.03016号 Hirokazu西村 1 1979 分支结构的语义是否适用于非度量Ockhamist时态逻辑？ Zbl 0415.03017号 Hirokazu西村 1 1979 所有引用出版物 前5名被引用出版物 全部的 前5名98位作者引用 28 Hirokazu西村 9 克里斯托夫·贝奇 5 姆拉丹·帕维奇奇 三 小泽，Masanao 三 塔马斯·施瓦茨 2 罗马斯·阿隆德里斯 2 恩德雷·博罗斯 2 杰弗里·S·H·克鲁特韦尔。 2 瓦伦丁·F·戈兰科。 2 大卫·哈雷 2 内奥诺里·卡基穆拉 2 诺里希罗·卡米德 2 川野、通崎 2 塔马斯·基拉利 2 小林，Yusuke 2 德克斯特·C·科赞。 2 Lucyshyn-Wright，Rory B。 2 Kazuhisa Makino 2 安吉洛·蒙塔纳里 2 罗希特·帕里赫 2 德国、贤治 2 杜明达·威杰塞克拉 1 哈马德·艾哈迈德 1 广岛青山 1 Jort Martinus Bergfeld 1 约瑟夫·布杜 1 乔佩克，Ondřej 1 坎德拉塞卡兰 1 奇日科夫，A.S。 1 科科特，J.罗宾B。 1 查吉、盖尔盖利·卡尔 1 崔娜娜 1 Dalla Chiara，玛丽亚·路易莎 1 马丁·迪盖兹 1 邓恩，乔恩·迈克尔 1 大卫·法齐奥 1 大卫·费尔南德斯·杜克 1 蒂姆·费尔南多 1 路易斯·费罗尼 1 阿尔贝托·加托 1 哈洛达斯·吉德拉 1 罗伯特·伊恩·戈德布拉特 1 约翰·哈丁 1 米夏·卡齐米尔兹·海勒 1 杰斯珀·亨利克森。 1 布赖恩·霍普金斯 1 安德烈·因德泽扎克（Andrzej Indrzejczak） 1 石井裕美 1 梅尔文·贾诺维茨（Melvin F.Janowitz）。 1 Jeannin、Jean-Baptiste 1 维多利亚州凯萨琳娜·乔琴科 1 Ju、Fengkui 1 Kučera，佩特 1 阿纳托利·库斯雷夫（Anatoli Kusraev，Georgievich） 1 萨姆索诺维奇·库塔特拉泽 1 安东尼奥·莱达 1 丹尼尔·莱万特（Daniel M.Leivant）。 1 李树娇 1 卢西娅·梅德拉诺（Lucia M.López de Medrano）。 1 鲍里斯·梅德罗斯 1 安德烈亚·梅南德 1 托马斯·米勒 1 森川，奥萨姆 1 劳伦斯·莫斯。 1 本·C·莫斯科夫斯基。 1 尼禄，阿尼尔 1 武士大川 1 弗朗西斯科·保利 1 康斯坦蒂诺斯·帕帕兰普鲁 1 所罗门·帕西 1 大卫·佩勒 1 佩雷兹·卡布雷拉，I。 1 阿迪蒂亚·皮莱 1 Pitsoulis，Leonidas S。 1 Pliuškevičienï，艾达 1 普利乌什凯维奇乌斯，里贾曼塔斯 1 阿列克谢·潘科（Alexej P.Pynko）。 1 莱泽克·皮西亚克 1 费利佩·林科恩 1 约书亚·萨克 1 威瑟·萨辛 1 本杰明·施罗德 1 圭多·西亚维科 1 克里斯·肖 1 加文圣约翰 1 玛莎·塔卡内 1 Mitio Takano公司 1 塔皮亚·桑切斯，古斯塔沃 1 巴扎马内里·苏布拉曼尼亚姆·蒂亚加拉扬 1 廷切夫、廷科 1 莫西·亚亚科夫·瓦尔迪 1 伊戈尔·瓦卢基维奇 1 王正汉 1 Wawer，雅克·沃尔 1 斯科特·温斯坦 1 皮埃尔·沃尔珀 1 Yutaro Yamaguchi 1 贝尔塔·扎瓦拉 全部的 前5名41篇连载文章中引用 25 国际理论物理杂志 5 理论计算机科学 5 纯逻辑与应用逻辑年鉴 4 京都大学数学科学研究所出版物 三 离散数学 三 哲学逻辑杂志 三 SIAM离散数学杂志 三 应用非经典逻辑杂志 2 数学物理报告 2 模糊集与系统 2 纯粹与应用代数杂志 2 符号逻辑杂志 2 应用数学进展 1 信息学报 1 美国数学月刊 1 信息处理信件 1 立陶宛数学杂志 1 信息传输问题 1 计算机与系统科学杂志 1 名古屋数学杂志 1 圣母院形式逻辑杂志 1 伦敦数学学会会刊。第三系列 1 逻辑研究 1 合成 1 逻辑科公报 1 信息与计算 1 自动推理杂志 1 计算机科学中的数学结构 1 数学编程。A系列B系列 1 应用的分类结构 1 符号逻辑公报 1 范畴的理论与应用 1 墨西哥马提马提卡社会发展局（Boletín de la Sociedad Matemática Mexicana）。第三系列 1 软计算 1 埃尔肯特尼斯 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 应用逻辑杂志 1 泛逻辑 1 同伦及相关结构杂志 1 符号逻辑述评 1 数学物理进展 全部的 前5名26个领域被引用 65 数学逻辑和基础（03-XX） 23 量子理论（81-XX） 18 计算机科学（68至XX） 16 范畴理论；同调代数（18-XX） 11 组合数学（05-XX） 9 阶、格、有序代数结构（06-XX） 9 几何图形（51至XX） 8 整体分析，流形分析（58-XX） 7 功能分析（46倍X倍） 4 代数几何（14-XX） 4 微分几何（53-XX） 三 凸和离散几何（52至XX） 2 总体主题；集合（00-XX） 2 历史和传记（01-XX） 2 运筹学、数学编程（90-XX） 1 交换代数（13-XX） 1 非结合环与代数（17-XX） 1 拓扑群、李群（22日至XX日） 1 实际功能（26年X月X日） 1 动力系统和遍历理论（37至XX） 1 算子理论（47-XX） 1 代数拓扑（55-XX） 1 数值分析（65-XX） 1 相对论和引力理论（83至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 按年份列出的引文