Edit Profile (opens in new tab) Nishimura, Hirokazu Co-Author Distance Author ID: nishimura.hirokazu Published as: Nishimura, Hirokazu; Nishimura, H. Homepage: http://researchmap.jp/read0018327 External Links: ResearchGate Documents Indexed: 109 Publications since 1977, including 7 Additional arXiv Preprints 1 Contribution as Editor · 1 Further Contribution Reviewing Activity: 1,082 Reviews Co-Authors: 3 Co-Authors with 3 Joint Publications 7 Co-Co-Authors Co-Authors 107 single-authored 1 de Broglie, Louis 1 Kuroda, Susumu 1 Lavendhomme, René 1 Osoekawa, Takeshi 1 Petkov, Vesselin 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) 37 Global analysis, analysis on manifolds (58-XX) 32 Geometry (51-XX) 23 Category theory; homological algebra (18-XX) 16 Quantum theory (81-XX) 9 Functional analysis (46-XX) 8 Differential geometry (53-XX) 6 Algebraic geometry (14-XX) 5 History and biography (01-XX) 4 General and overarching topics; collections (00-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) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 53 Publications have been cited 188 times in 90 Documents Cited by ▼ Year ▼ Sequential method in quantum logic. Zbl 0437.03034 Nishimura, Hirokazu 16 1980 An approach to the dimension theory of continuous geometry from the standpoint of Boolean valued analysis. Zbl 0574.51012 Nishimura, Hirokazu 11 1984 A lost mathematician, Takeo Nakasawa. The forgotten father of matroid theory. Zbl 1163.01001 10 2009 Empirical set theory. Zbl 0779.03020 Nishimura, Hirokazu 10 1993 Descriptively complete process logic. Zbl 0423.68005 Nishimura, Hirokazu 9 1980 Boolean valued Lie algebras. Zbl 0742.17021 Nishimura, Hirokazu 8 1991 On the duality between Boolean-valued analysis and reduction theory under the assumption of separability. Zbl 0779.47034 Nishimura, Hirokazu 7 1993 Sequential method in propositional dynamic logic. Zbl 0401.03005 Nishimura, Hirokazu 7 1979 Proof theory for minimal quantum logic. I. Zbl 0798.03062 Nishimura, Hirokazu 7 1994 Manuals in orthogonal categories. Zbl 0830.18004 Nishimura, Hirokazu 6 1995 Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules. Zbl 0770.03020 Nishimura, Hirokazu 6 1992 Representations of empirical set theories. Zbl 0804.03043 Nishimura, Hirokazu 6 1994 Semantical analysis of constructive PDL. Zbl 0504.03010 Nishimura, Hirokazu 5 1982 Logical quantization of differential geometry. Zbl 0846.18005 Nishimura, Hirokazu 5 1996 Empirical sets. Zbl 0830.18005 Nishimura, Hirokazu 4 1995 The logical quantization of algebraic groups. Zbl 0846.18004 Nishimura, Hirokazu 4 1995 Synthetic Hamiltonian mechanics. Zbl 0878.58029 Nishimura, Hirokazu 4 1997 Theory of microcubes. Zbl 0884.18014 Nishimura, Hirokazu 4 1997 Gentzen methods in quantum logic. Zbl 1273.03089 Nishimura, Hirokazu 4 2009 Differential forms in synthetic differential geometry. Zbl 0942.58008 Lavendhomme, Rene; Nishimura, Hirokazu 3 1998 Logical quantizations of first-order structures. Zbl 0867.03021 Nishimura, Hirokazu 3 1996 Some applications of Boolean valued set theory to abstract harmonic analysis on locally compact groups. Zbl 0582.43005 Nishimura, Hirokazu 3 1985 Logical quantization of topos theory. Zbl 0872.18002 Nishimura, Hirokazu 3 1996 Interval logics with applications to study of tense and aspect in English. Zbl 0446.03012 Nishimura, Hirokazu 3 1980 Proof theory for minimal quantum logic. II. Zbl 0809.03045 Nishimura, Hirokazu 3 1994 Synthetic differential geometry of jet bundles. Zbl 1030.58001 Nishimura, Hirokazu 3 2001 Empirical algebraic geometry. Zbl 0830.18006 Nishimura, Hirokazu 2 1995 Empirical quantum mechanics. Zbl 0867.03022 Nishimura, Hirokazu 2 1996 Higher-order preconnections in synthetic differential geometry of jet bundles. Zbl 1071.58004 Nishimura, Hirokazu 2 2004 Boolean valued Dedekind domains. Zbl 0732.03031 Nishimura, Hirokazu 2 1991 A study of some tense logics by Gentzen’s sequential method. Zbl 0446.03013 Nishimura, Hirokazu 2 1980 Arithmetical completeness in first-order dynamic logic for concurrent programs. Zbl 0466.68023 Nishimura, Hirokazu 2 1981 Holonomicity in synthetic differential geometry of jet bundles. Zbl 1044.58006 Nishimura, Hirokazu 2 2003 Heyting valued set theory and fibre bundles. Zbl 0654.03046 Nishimura, Hirokazu 1 1988 The affine bundle theorem in synthetic differential geometry of jet bundles. Zbl 1167.51007 Nishimura, Hirokazu 1 2007 Differential geometry of microlinear Frölicher spaces. I. Zbl 1232.58001 Nishimura, Hirokazu 1 2010 Microlinearity in Frölicher spaces – beyond the regnant philosophy of manifolds. Zbl 1193.51017 Nishimura, Hirokazu 1 2010 General Jacobi identity revisited. Zbl 0942.58006 Nishimura, Hirokazu 1 1999 A much larger class of Frölicher spaces than that of convenient vector spaces may embed into the Cahiers topos. Zbl 1186.51007 Nishimura, Hirokazu 1 2009 The first Bianchi identity in synthetic differential geometry. Zbl 0989.51009 Nishimura, Hirokazu 1 2001 Nonlinear connections in synthetic differential geometry. Zbl 0961.53011 Nishimura, Hirokazu 1 1998 Erratum: Synthetic differential geometry of higher-order total differentials. Zbl 1115.58005 Nishimura, Hirokazu 1 2006 Boolean valued decomposition theory of states. Zbl 0592.46053 Nishimura, Hirokazu 1 1985 Heyting valued set theory and Sato hyperfunctions. Zbl 0614.03058 Nishimura, Hirokazu 1 1986 Some connections between Boolean valued analysis and topological reduction theory for \(C^*\)-algebras. Zbl 0703.46040 Nishimura, Hirokazu 1 1991 Some Boolean valued commutative algebra. Zbl 0751.03017 Nishimura, Hirokazu 1 1991 Foundations of Boolean valued algebraic geometry. Zbl 0763.03029 Nishimura, Hirokazu 1 1991 Is the semantics of branching structures adequate for chronological modal logics? Zbl 0415.03016 Nishimura, Hirokazu 1 1979 Is the semantics of branching structures adequate for non-metric Ockhamist tense logics? Zbl 0415.03017 Nishimura, Hirokazu 1 1979 A Boolean transfer principle from \(L^*\)-algebras to \(AL^*\)-algebras. Zbl 0805.03039 Nishimura, Hirokazu 1 1993 General Jacobi identity revisited again. Zbl 1130.58002 Nishimura, Hirokazu; Osoekawa, Takeshi 1 2007 Axiomatic differential geometry. II-1: Vector fields. Zbl 1285.51010 Nishimura, Hirokazu 1 2012 Differential geometry of microlinear Frölicher spaces IV-2. Zbl 1312.58002 Nishimura, Hirokazu 1 2013 Differential geometry of microlinear Frölicher spaces IV-2. Zbl 1312.58002 Nishimura, Hirokazu 1 2013 Axiomatic differential geometry. II-1: Vector fields. Zbl 1285.51010 Nishimura, Hirokazu 1 2012 Differential geometry of microlinear Frölicher spaces. I. Zbl 1232.58001 Nishimura, Hirokazu 1 2010 Microlinearity in Frölicher spaces – beyond the regnant philosophy of manifolds. Zbl 1193.51017 Nishimura, Hirokazu 1 2010 A lost mathematician, Takeo Nakasawa. The forgotten father of matroid theory. Zbl 1163.01001 10 2009 Gentzen methods in quantum logic. Zbl 1273.03089 Nishimura, Hirokazu 4 2009 A much larger class of Frölicher spaces than that of convenient vector spaces may embed into the Cahiers topos. Zbl 1186.51007 Nishimura, Hirokazu 1 2009 The affine bundle theorem in synthetic differential geometry of jet bundles. Zbl 1167.51007 Nishimura, Hirokazu 1 2007 General Jacobi identity revisited again. Zbl 1130.58002 Nishimura, Hirokazu; Osoekawa, Takeshi 1 2007 Erratum: Synthetic differential geometry of higher-order total differentials. Zbl 1115.58005 Nishimura, Hirokazu 1 2006 Higher-order preconnections in synthetic differential geometry of jet bundles. Zbl 1071.58004 Nishimura, Hirokazu 2 2004 Holonomicity in synthetic differential geometry of jet bundles. Zbl 1044.58006 Nishimura, Hirokazu 2 2003 Synthetic differential geometry of jet bundles. Zbl 1030.58001 Nishimura, Hirokazu 3 2001 The first Bianchi identity in synthetic differential geometry. Zbl 0989.51009 Nishimura, Hirokazu 1 2001 General Jacobi identity revisited. Zbl 0942.58006 Nishimura, Hirokazu 1 1999 Differential forms in synthetic differential geometry. Zbl 0942.58008 Lavendhomme, Rene; Nishimura, Hirokazu 3 1998 Nonlinear connections in synthetic differential geometry. Zbl 0961.53011 Nishimura, Hirokazu 1 1998 Synthetic Hamiltonian mechanics. Zbl 0878.58029 Nishimura, Hirokazu 4 1997 Theory of microcubes. Zbl 0884.18014 Nishimura, Hirokazu 4 1997 Logical quantization of differential geometry. Zbl 0846.18005 Nishimura, Hirokazu 5 1996 Logical quantizations of first-order structures. Zbl 0867.03021 Nishimura, Hirokazu 3 1996 Logical quantization of topos theory. Zbl 0872.18002 Nishimura, Hirokazu 3 1996 Empirical quantum mechanics. Zbl 0867.03022 Nishimura, Hirokazu 2 1996 Manuals in orthogonal categories. Zbl 0830.18004 Nishimura, Hirokazu 6 1995 Empirical sets. Zbl 0830.18005 Nishimura, Hirokazu 4 1995 The logical quantization of algebraic groups. Zbl 0846.18004 Nishimura, Hirokazu 4 1995 Empirical algebraic geometry. Zbl 0830.18006 Nishimura, Hirokazu 2 1995 Proof theory for minimal quantum logic. I. Zbl 0798.03062 Nishimura, Hirokazu 7 1994 Representations of empirical set theories. Zbl 0804.03043 Nishimura, Hirokazu 6 1994 Proof theory for minimal quantum logic. II. Zbl 0809.03045 Nishimura, Hirokazu 3 1994 Empirical set theory. Zbl 0779.03020 Nishimura, Hirokazu 10 1993 On the duality between Boolean-valued analysis and reduction theory under the assumption of separability. Zbl 0779.47034 Nishimura, Hirokazu 7 1993 A Boolean transfer principle from \(L^*\)-algebras to \(AL^*\)-algebras. Zbl 0805.03039 Nishimura, Hirokazu 1 1993 Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules. Zbl 0770.03020 Nishimura, Hirokazu 6 1992 Boolean valued Lie algebras. Zbl 0742.17021 Nishimura, Hirokazu 8 1991 Boolean valued Dedekind domains. Zbl 0732.03031 Nishimura, Hirokazu 2 1991 Some connections between Boolean valued analysis and topological reduction theory for \(C^*\)-algebras. Zbl 0703.46040 Nishimura, Hirokazu 1 1991 Some Boolean valued commutative algebra. Zbl 0751.03017 Nishimura, Hirokazu 1 1991 Foundations of Boolean valued algebraic geometry. Zbl 0763.03029 Nishimura, Hirokazu 1 1991 Heyting valued set theory and fibre bundles. Zbl 0654.03046 Nishimura, Hirokazu 1 1988 Heyting valued set theory and Sato hyperfunctions. Zbl 0614.03058 Nishimura, Hirokazu 1 1986 Some applications of Boolean valued set theory to abstract harmonic analysis on locally compact groups. Zbl 0582.43005 Nishimura, Hirokazu 3 1985 Boolean valued decomposition theory of states. Zbl 0592.46053 Nishimura, Hirokazu 1 1985 An approach to the dimension theory of continuous geometry from the standpoint of Boolean valued analysis. Zbl 0574.51012 Nishimura, Hirokazu 11 1984 Semantical analysis of constructive PDL. Zbl 0504.03010 Nishimura, Hirokazu 5 1982 Arithmetical completeness in first-order dynamic logic for concurrent programs. Zbl 0466.68023 Nishimura, Hirokazu 2 1981 Sequential method in quantum logic. Zbl 0437.03034 Nishimura, Hirokazu 16 1980 Descriptively complete process logic. Zbl 0423.68005 Nishimura, Hirokazu 9 1980 Interval logics with applications to study of tense and aspect in English. Zbl 0446.03012 Nishimura, Hirokazu 3 1980 A study of some tense logics by Gentzen’s sequential method. Zbl 0446.03013 Nishimura, Hirokazu 2 1980 Sequential method in propositional dynamic logic. Zbl 0401.03005 Nishimura, Hirokazu 7 1979 Is the semantics of branching structures adequate for chronological modal logics? Zbl 0415.03016 Nishimura, Hirokazu 1 1979 Is the semantics of branching structures adequate for non-metric Ockhamist tense logics? Zbl 0415.03017 Nishimura, Hirokazu 1 1979 all cited Publications top 5 cited Publications all top 5 Cited by 91 Authors 27 Nishimura, Hirokazu 6 Bérczi, Kristóf 5 Pavičić, Mladen 3 Ozawa, Masanao 2 Alonderis, Romas 2 Cruttwell, Geoffrey S. H. 2 Goranko, Valentin F. 2 Harel, David 2 Kamide, Norihiro 2 Király, Tamás 2 Kozen, Dexter C. 2 Lucyshyn-Wright, Rory B. B. 2 Montanari, Angelo 2 Parikh, Rohit 2 Schwarcz, Tamás 2 Tokuo, Kenji 2 Wijesekera, Duminda 1 Ahmad, Hammad 1 Aoyama, Hiroshi 1 Bergfeld, Jort Martinus 1 Boros, Endre 1 Boudou, Joseph 1 Čepek, Ondřej 1 Chandrasekaran, Karthekeyan 1 Chizhov, A. S. 1 Cockett, J. Robin B. 1 Csáji, Gergely Kál 1 Cui, Nana 1 Dalla Chiara, Maria Luisa 1 Diéguez, Martín 1 Dunn, Jon Michael 1 Fazio, Davide 1 Fernández Duque, David 1 Fernando, Tim 1 Ferroni, Luis 1 Gatto, Alberto 1 Giedra, Haroldas 1 Goldblatt, Robert Ian 1 Harding, John 1 Henriksen, Jesper G. 1 Hopkins, Brian 1 Indrzejczak, Andrzej 1 Ishii, Hiromi 1 Janowitz, Melvin F. 1 Jeannin, Jean-Baptiste 1 Jochemko, Katharina Victoria 1 Ju, Fengkui 1 Kakimura, Naonori 1 Kawano, Tomoaki 1 Kobayashi, Yusuke 1 Kučera, Petr 1 Kusraev, Anatoly Georgievich 1 Kutateladze, Semën Samsonovich 1 Ledda, Antonio 1 Leivant, Daniel M. 1 Li, Shujiao 1 Makino, Kazuhisa 1 Mederos, Boris 1 Meinander, Andrea 1 Morikawa, Osamu 1 Moss, Lawrence S. 1 Moszkowski, Ben C. 1 Nerode, Anil 1 Osoekawa, Takeshi 1 Paoli, Francesco 1 Papalamprou, Konstantinos 1 Passy, Solomon 1 Peleg, David 1 Pérez-Cabrera, I. 1 Pillai, Aditya 1 Pitsoulis, Leonidas S. 1 Pliuškevičienė, Aida 1 Pliuškevičius, Regimantas 1 Pynko, Alexej P. 1 Sack, Joshua 1 Schröter, Benjamin 1 Sciavicco, Guido 1 St. John, Gavin 1 Takane, Martha 1 Takano, Mitio 1 Tapia Sánchez, Gustavo 1 Thiagarajan, Pazhamaneri Subramaniam 1 Tinchev, Tinko 1 Vardi, Moshe Ya’akov 1 Walukiewicz, Igor 1 Wang, Zhenghan 1 Wawer, Jacek 1 Weinstein, Scott 1 Wilson, Robin James 1 Wolper, Pierre 1 Zavala, Berta all top 5 Cited in 38 Serials 25 International Journal of Theoretical Physics 5 Theoretical Computer Science 5 Annals of Pure and Applied Logic 4 Publications of the Research Institute for Mathematical Sciences, Kyoto University 3 Discrete Mathematics 3 Journal of Philosophical Logic 3 Journal of Applied Non-Classical Logics 2 Fuzzy Sets and Systems 2 Journal of Pure and Applied Algebra 2 The Journal of Symbolic Logic 2 Advances in Applied Mathematics 1 Acta Informatica 1 American Mathematical Monthly 1 Information Processing Letters 1 Lithuanian Mathematical Journal 1 Problems of Information Transmission 1 Journal of Computer and System Sciences 1 Nagoya Mathematical Journal 1 Notre Dame Journal of Formal Logic 1 Studia Logica 1 Synthese 1 Bulletin of the Section of Logic 1 Information and Computation 1 Journal of Automated Reasoning 1 MSCS. Mathematical Structures in Computer Science 1 Mathematical Programming. Series A. Series B 1 Applied Categorical Structures 1 The Bulletin of Symbolic Logic 1 Theory and Applications of Categories 1 Boletín de la Sociedad Matemática Mexicana. Third Series 1 Soft Computing 1 Erkenntnis 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 Journal of Applied Logic 1 Logica Universalis 1 Journal of Homotopy and Related Structures 1 The Review of Symbolic Logic 1 Advances in Mathematical Physics all top 5 Cited in 24 Fields 64 Mathematical logic and foundations (03-XX) 23 Quantum theory (81-XX) 18 Computer science (68-XX) 16 Category theory; homological algebra (18-XX) 9 Geometry (51-XX) 8 Combinatorics (05-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 7 Global analysis, analysis on manifolds (58-XX) 6 Functional analysis (46-XX) 4 Differential geometry (53-XX) 3 Algebraic geometry (14-XX) 2 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 2 Convex and discrete geometry (52-XX) 1 Commutative algebra (13-XX) 1 Nonassociative rings and algebras (17-XX) 1 Topological groups, Lie groups (22-XX) 1 Real functions (26-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Operator theory (47-XX) 1 Algebraic topology (55-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Citations by Year