# zbMATH — the first resource for mathematics

## Nishimura, Hirokazu

Compute Distance To:
 Author ID: nishimura.hirokazu Published as: Nishimura, Hirokazu; Nishimura, H. Homepage: http://researchmap.jp/read0018327 External Links: ResearchGate
 Documents Indexed: 103 Publications since 1977, including 1 Book Reviewing Activity: 674 Reviews

#### Co-Authors

 100 single-authored 1 Kuroda, Susumu 1 Lavendhomme, René 1 Osoekawa, Takeshi
all top 5

#### Serials

 28 International Journal of Theoretical Physics 14 Publications of the Research Institute for Mathematical Sciences, Kyoto University 9 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 8 Mathematics for Applications 7 Far East Journal of Mathematical Sciences 6 International Journal of Pure and Applied Mathematics 4 Beiträge zur Algebra und Geometrie 4 European Mathematical Society Newsletter 3 The Journal of Symbolic Logic 3 Mathematical Logic Quarterly (MLQ) 3 Cahiers de Topologie et Géométrie Différentielle Catégoriques 2 Acta Informatica 2 Journal of Philosophical Logic 2 Journal of Pure and Applied Algebra 2 Bulletin of the Belgian Mathematical Society - Simon Stevin 1 Reports on Mathematical Physics 1 Bulletin of Mathematical Biology 1 Studia Logica
all top 5

#### Fields

 47 Mathematical logic and foundations (03-XX) 36 Global analysis, analysis on manifolds (58-XX) 31 Geometry (51-XX) 23 Category theory; homological algebra (18-XX) 15 Quantum theory (81-XX) 9 Functional analysis (46-XX) 8 Differential geometry (53-XX) 6 Algebraic geometry (14-XX) 4 General and overarching topics; collections (00-XX) 4 History and biography (01-XX) 4 Nonassociative rings and algebras (17-XX) 4 Topological groups, Lie groups (22-XX) 4 Computer science (68-XX) 4 Relativity and gravitational theory (83-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Commutative algebra (13-XX) 2 Several complex variables and analytic spaces (32-XX) 1 Combinatorics (05-XX) 1 Associative rings and algebras (16-XX) 1 Real functions (26-XX) 1 Measure and integration (28-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Abstract harmonic analysis (43-XX) 1 Operator theory (47-XX) 1 Algebraic topology (55-XX) 1 Optics, electromagnetic theory (78-XX) 1 Biology and other natural sciences (92-XX)

#### Citations contained in zbMATH Open

44 Publications have been cited 154 times in 73 Documents Cited by Year
Sequential method in quantum logic. Zbl 0437.03034
Nishimura, Hirokazu
1980
Empirical set theory. Zbl 0779.03020
Nishimura, Hirokazu
1993
An approach to the dimension theory of continuous geometry from the standpoint of Boolean valued analysis. Zbl 0574.51012
Nishimura, Hirokazu
1984
Descriptively complete process logic. Zbl 0423.68005
Nishimura, Hirokazu
1980
Sequential method in propositional dynamic logic. Zbl 0401.03005
Nishimura, Hirokazu
1979
On the duality between Boolean-valued analysis and reduction theory under the assumption of separability. Zbl 0779.47034
Nishimura, Hirokazu
1993
Boolean valued Lie algebras. Zbl 0742.17021
Nishimura, Hirokazu
1991
Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules. Zbl 0770.03020
Nishimura, Hirokazu
1992
Representations of empirical set theories. Zbl 0804.03043
Nishimura, Hirokazu
1994
Manuals in orthogonal categories. Zbl 0830.18004
Nishimura, Hirokazu
1995
Proof theory for minimal quantum logic. I. Zbl 0798.03062
Nishimura, Hirokazu
1994
Logical quantization of differential geometry. Zbl 0846.18005
Nishimura, Hirokazu
1996
Semantical analysis of constructive PDL. Zbl 0504.03010
Nishimura, Hirokazu
1982
Empirical sets. Zbl 0830.18005
Nishimura, Hirokazu
1995
The logical quantization of algebraic groups. Zbl 0846.18004
Nishimura, Hirokazu
1995
Theory of microcubes. Zbl 0884.18014
Nishimura, Hirokazu
1997
Interval logics with applications to study of tense and aspect in English. Zbl 0446.03012
Nishimura, Hirokazu
1980
Logical quantization of topos theory. Zbl 0872.18002
Nishimura, Hirokazu
1996
Synthetic Hamiltonian mechanics. Zbl 0878.58029
Nishimura, Hirokazu
1997
Differential forms in synthetic differential geometry. Zbl 0942.58008
Lavendhomme, Rene; Nishimura, Hirokazu
1998
Logical quantizations of first-order structures. Zbl 0867.03021
Nishimura, Hirokazu
1996
Gentzen methods in quantum logic. Zbl 1273.03089
Nishimura, Hirokazu
2009
A study of some tense logics by Gentzen’s sequential method. Zbl 0446.03013
Nishimura, Hirokazu
1980
Some applications of Boolean valued set theory to abstract harmonic analysis on locally compact groups. Zbl 0582.43005
Nishimura, Hirokazu
1985
Arithmetical completeness in first-order dynamic logic for concurrent programs. Zbl 0466.68023
Nishimura, Hirokazu
1981
Empirical algebraic geometry. Zbl 0830.18006
Nishimura, Hirokazu
1995
Empirical quantum mechanics. Zbl 0867.03022
Nishimura, Hirokazu
1996
Proof theory for minimal quantum logic. II. Zbl 0809.03045
Nishimura, Hirokazu
1994
A lost mathematician, Takeo Nakasawa. The forgotten father of matroid theory. Zbl 1163.01001
Nishimura, Hirokazu (ed.); Kuroda, Susumu (ed.)
2009
The first Bianchi identity in synthetic differential geometry. Zbl 0989.51009
Nishimura, Hirokazu
2001
Some connections between Boolean valued analysis and topological reduction theory for $$C^*$$-algebras. Zbl 0703.46040
Nishimura, Hirokazu
1991
Boolean valued decomposition theory of states. Zbl 0592.46053
Nishimura, Hirokazu
1985
Heyting valued set theory and Sato hyperfunctions. Zbl 0614.03058
Nishimura, Hirokazu
1986
Heyting valued set theory and fibre bundles. Zbl 0654.03046
Nishimura, Hirokazu
1988
Boolean valued Dedekind domains. Zbl 0732.03031
Nishimura, Hirokazu
1991
Nonlinear connections in synthetic differential geometry. Zbl 0961.53011
Nishimura, Hirokazu
1998
General Jacobi identity revisited. Zbl 0942.58006
Nishimura, Hirokazu
1999
Is the semantics of branching structures adequate for chronological modal logics? Zbl 0415.03016
Nishimura, Hirokazu
1979
Is the semantics of branching structures adequate for non-metric Ockhamist tense logics? Zbl 0415.03017
Nishimura, Hirokazu
1979
Foundations of Boolean valued algebraic geometry. Zbl 0763.03029
Nishimura, Hirokazu
1991
Higher-order preconnections in synthetic differential geometry of jet bundles. Zbl 1071.58004
Nishimura, Hirokazu
2004
Synthetic differential geometry of jet bundles. Zbl 1030.58001
Nishimura, Hirokazu
2001
Holonomicity in synthetic differential geometry of jet bundles. Zbl 1044.58006
Nishimura, Hirokazu
2003
Some Boolean valued commutative algebra. Zbl 0751.03017
Nishimura, Hirokazu
1991
Gentzen methods in quantum logic. Zbl 1273.03089
Nishimura, Hirokazu
2009
A lost mathematician, Takeo Nakasawa. The forgotten father of matroid theory. Zbl 1163.01001
Nishimura, Hirokazu; Kuroda, Susumu
2009
Higher-order preconnections in synthetic differential geometry of jet bundles. Zbl 1071.58004
Nishimura, Hirokazu
2004
Holonomicity in synthetic differential geometry of jet bundles. Zbl 1044.58006
Nishimura, Hirokazu
2003
The first Bianchi identity in synthetic differential geometry. Zbl 0989.51009
Nishimura, Hirokazu
2001
Synthetic differential geometry of jet bundles. Zbl 1030.58001
Nishimura, Hirokazu
2001
General Jacobi identity revisited. Zbl 0942.58006
Nishimura, Hirokazu
1999
Differential forms in synthetic differential geometry. Zbl 0942.58008
Lavendhomme, Rene; Nishimura, Hirokazu
1998
Nonlinear connections in synthetic differential geometry. Zbl 0961.53011
Nishimura, Hirokazu
1998
Theory of microcubes. Zbl 0884.18014
Nishimura, Hirokazu
1997
Synthetic Hamiltonian mechanics. Zbl 0878.58029
Nishimura, Hirokazu
1997
Logical quantization of differential geometry. Zbl 0846.18005
Nishimura, Hirokazu
1996
Logical quantization of topos theory. Zbl 0872.18002
Nishimura, Hirokazu
1996
Logical quantizations of first-order structures. Zbl 0867.03021
Nishimura, Hirokazu
1996
Empirical quantum mechanics. Zbl 0867.03022
Nishimura, Hirokazu
1996
Manuals in orthogonal categories. Zbl 0830.18004
Nishimura, Hirokazu
1995
Empirical sets. Zbl 0830.18005
Nishimura, Hirokazu
1995
The logical quantization of algebraic groups. Zbl 0846.18004
Nishimura, Hirokazu
1995
Empirical algebraic geometry. Zbl 0830.18006
Nishimura, Hirokazu
1995
Representations of empirical set theories. Zbl 0804.03043
Nishimura, Hirokazu
1994
Proof theory for minimal quantum logic. I. Zbl 0798.03062
Nishimura, Hirokazu
1994
Proof theory for minimal quantum logic. II. Zbl 0809.03045
Nishimura, Hirokazu
1994
Empirical set theory. Zbl 0779.03020
Nishimura, Hirokazu
1993
On the duality between Boolean-valued analysis and reduction theory under the assumption of separability. Zbl 0779.47034
Nishimura, Hirokazu
1993
Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules. Zbl 0770.03020
Nishimura, Hirokazu
1992
Boolean valued Lie algebras. Zbl 0742.17021
Nishimura, Hirokazu
1991
Some connections between Boolean valued analysis and topological reduction theory for $$C^*$$-algebras. Zbl 0703.46040
Nishimura, Hirokazu
1991
Boolean valued Dedekind domains. Zbl 0732.03031
Nishimura, Hirokazu
1991
Foundations of Boolean valued algebraic geometry. Zbl 0763.03029
Nishimura, Hirokazu
1991
Some Boolean valued commutative algebra. Zbl 0751.03017
Nishimura, Hirokazu
1991
Heyting valued set theory and fibre bundles. Zbl 0654.03046
Nishimura, Hirokazu
1988
Heyting valued set theory and Sato hyperfunctions. Zbl 0614.03058
Nishimura, Hirokazu
1986
Some applications of Boolean valued set theory to abstract harmonic analysis on locally compact groups. Zbl 0582.43005
Nishimura, Hirokazu
1985
Boolean valued decomposition theory of states. Zbl 0592.46053
Nishimura, Hirokazu
1985
An approach to the dimension theory of continuous geometry from the standpoint of Boolean valued analysis. Zbl 0574.51012
Nishimura, Hirokazu
1984
Semantical analysis of constructive PDL. Zbl 0504.03010
Nishimura, Hirokazu
1982
Arithmetical completeness in first-order dynamic logic for concurrent programs. Zbl 0466.68023
Nishimura, Hirokazu
1981
Sequential method in quantum logic. Zbl 0437.03034
Nishimura, Hirokazu
1980
Descriptively complete process logic. Zbl 0423.68005
Nishimura, Hirokazu
1980
Interval logics with applications to study of tense and aspect in English. Zbl 0446.03012
Nishimura, Hirokazu
1980
A study of some tense logics by Gentzen’s sequential method. Zbl 0446.03013
Nishimura, Hirokazu
1980
Sequential method in propositional dynamic logic. Zbl 0401.03005
Nishimura, Hirokazu
1979
Is the semantics of branching structures adequate for chronological modal logics? Zbl 0415.03016
Nishimura, Hirokazu
1979
Is the semantics of branching structures adequate for non-metric Ockhamist tense logics? Zbl 0415.03017
Nishimura, Hirokazu
1979
all top 5

#### Cited by 57 Authors

 26 Nishimura, Hirokazu 5 Pavičić, Mladen 3 Ozawa, Masanao 2 Alonderis, Romas 2 Goranko, Valentin F. 2 Harel, David 2 Kamide, Norihiro 2 Kozen, Dexter C. 2 Lucyshyn-Wright, Rory B. B. 2 Montanari, Angelo 2 Parikh, Rohit 2 Wijesekera, Duminda 1 Aoyama, Hiroshi 1 Bérczi, Kristóf 1 Bergfeld, Jort Martinus 1 Chizhov, A. S. 1 Cruttwell, G. S. H. 1 Cui, Nana 1 Dalla Chiara, Maria Luisa 1 Dunn, Jon Michael 1 Fernando, Tim 1 Gatto, Alberto 1 Giedra, Haroldas 1 Goldblatt, Robert Ian 1 Harding, John 1 Henriksen, Jesper G. 1 Indrzejczak, Andrzej 1 Janowitz, Melvin F. 1 Ju, Fengkui 1 Leivant, Daniel M. 1 Li, Shujiao 1 Meinander, Andrea 1 Morikawa, Osamu 1 Moss, Lawrence S. 1 Moszkowski, Ben C. 1 Nerode, Anil 1 Osoekawa, Takeshi 1 Papalamprou, Konstantinos 1 Passy, Solomon 1 Peleg, David 1 Pitsoulis, Leonidas S. 1 Pliuškevičienė, Aida 1 Pliuškevičius, Regimantas 1 Pynko, Alexej P. 1 Sack, Joshua 1 Schwarcz, Tamás 1 Sciavicco, Guido 1 Takano, Mitio 1 Thiagarajan, Pazhamaneri Subramaniam 1 Tinchev, Tinko 1 Tokuo, Kenji 1 Vardi, Moshe Y. 1 Walukiewicz, Igor 1 Wang, Zhenghan 1 Wawer, Jacek 1 Weinstein, Scott 1 Wolper, Pierre
all top 5

#### Cited in 31 Serials

 25 International Journal of Theoretical Physics 5 Annals of Pure and Applied Logic 4 Publications of the Research Institute for Mathematical Sciences, Kyoto University 4 Theoretical Computer Science 3 Journal of Philosophical Logic 3 Journal of Applied Non-Classical Logics 2 Fuzzy Sets and Systems 2 Journal of Pure and Applied Algebra 1 Acta Informatica 1 Discrete Mathematics 1 Lithuanian Mathematical Journal 1 Problems of Information Transmission 1 Journal of Computer and System Sciences 1 The Journal of Symbolic Logic 1 Nagoya Mathematical Journal 1 Notre Dame Journal of Formal Logic 1 Studia Logica 1 Synthese 1 Advances in Applied Mathematics 1 Information and Computation 1 Journal of Automated Reasoning 1 MSCS. Mathematical Structures in Computer Science 1 Mathematical Programming. Series A. Series B 1 The Bulletin of Symbolic Logic 1 Theory and Applications of Categories 1 Soft Computing 1 Erkenntnis 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 Journal of Applied Logic 1 Journal of Homotopy and Related Structures 1 Advances in Mathematical Physics
all top 5

#### Cited in 20 Fields

 57 Mathematical logic and foundations (03-XX) 22 Quantum theory (81-XX) 14 Category theory; homological algebra (18-XX) 12 Computer science (68-XX) 8 Geometry (51-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 5 Functional analysis (46-XX) 5 Global analysis, analysis on manifolds (58-XX) 4 Differential geometry (53-XX) 3 Algebraic geometry (14-XX) 2 Combinatorics (05-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Nonassociative rings and algebras (17-XX) 1 Topological groups, Lie groups (22-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Algebraic topology (55-XX) 1 Operations research, mathematical programming (90-XX)