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: 102 Publications since 1977 1 Contribution as Editor · 1 Further Contribution Reviewing Activity: 979 Reviews Co-Authors: 3 Co-Authors with 3 Joint Publications 7 Co-Co-Authors Co-Authors 100 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) 36 Global analysis, analysis on manifolds (58-XX) 31 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 183 times in 85 Documents Cited by ▼ Year ▼ Sequential method in quantum logic. Zbl 0437.03034Nishimura, Hirokazu 15 1980 An approach to the dimension theory of continuous geometry from the standpoint of Boolean valued analysis. Zbl 0574.51012Nishimura, Hirokazu 11 1984 Empirical set theory. Zbl 0779.03020Nishimura, Hirokazu 10 1993 Descriptively complete process logic. Zbl 0423.68005Nishimura, Hirokazu 8 1980 Boolean valued Lie algebras. Zbl 0742.17021Nishimura, Hirokazu 8 1991 On the duality between Boolean-valued analysis and reduction theory under the assumption of separability. Zbl 0779.47034Nishimura, Hirokazu 7 1993 Sequential method in propositional dynamic logic. Zbl 0401.03005Nishimura, Hirokazu 7 1979 A lost mathematician, Takeo Nakasawa. The forgotten father of matroid theory. Zbl 1163.01001 7 2009 Proof theory for minimal quantum logic. I. Zbl 0798.03062Nishimura, Hirokazu 7 1994 Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules. Zbl 0770.03020Nishimura, Hirokazu 6 1992 Representations of empirical set theories. Zbl 0804.03043Nishimura, Hirokazu 6 1994 Manuals in orthogonal categories. Zbl 0830.18004Nishimura, Hirokazu 6 1995 Semantical analysis of constructive PDL. Zbl 0504.03010Nishimura, Hirokazu 5 1982 Logical quantization of differential geometry. Zbl 0846.18005Nishimura, Hirokazu 5 1996 Gentzen methods in quantum logic. Zbl 1273.03089Nishimura, Hirokazu 4 2009 Empirical sets. Zbl 0830.18005Nishimura, Hirokazu 4 1995 The logical quantization of algebraic groups. Zbl 0846.18004Nishimura, Hirokazu 4 1995 Theory of microcubes. Zbl 0884.18014Nishimura, Hirokazu 4 1997 Synthetic Hamiltonian mechanics. Zbl 0878.58029Nishimura, Hirokazu 4 1997 Proof theory for minimal quantum logic. II. Zbl 0809.03045Nishimura, Hirokazu 3 1994 Some applications of Boolean valued set theory to abstract harmonic analysis on locally compact groups. Zbl 0582.43005Nishimura, Hirokazu 3 1985 Logical quantizations of first-order structures. Zbl 0867.03021Nishimura, Hirokazu 3 1996 Differential forms in synthetic differential geometry. Zbl 0942.58008Lavendhomme, Rene; Nishimura, Hirokazu 3 1998 Synthetic differential geometry of jet bundles. Zbl 1030.58001Nishimura, Hirokazu 3 2001 Logical quantization of topos theory. Zbl 0872.18002Nishimura, Hirokazu 3 1996 Interval logics with applications to study of tense and aspect in English. Zbl 0446.03012Nishimura, Hirokazu 3 1980 Empirical algebraic geometry. Zbl 0830.18006Nishimura, Hirokazu 2 1995 Empirical quantum mechanics. Zbl 0867.03022Nishimura, Hirokazu 2 1996 Arithmetical completeness in first-order dynamic logic for concurrent programs. Zbl 0466.68023Nishimura, Hirokazu 2 1981 Boolean valued Dedekind domains. Zbl 0732.03031Nishimura, Hirokazu 2 1991 Higher-order preconnections in synthetic differential geometry of jet bundles. Zbl 1071.58004Nishimura, Hirokazu 2 2004 Holonomicity in synthetic differential geometry of jet bundles. Zbl 1044.58006Nishimura, Hirokazu 2 2003 A study of some tense logics by Gentzen’s sequential method. Zbl 0446.03013Nishimura, Hirokazu 2 1980 Foundations of Boolean valued algebraic geometry. Zbl 0763.03029Nishimura, Hirokazu 1 1991 A Boolean transfer principle from \(L^*\)-algebras to \(AL^*\)-algebras. Zbl 0805.03039Nishimura, Hirokazu 1 1993 A much larger class of Frölicher spaces than that of convenient vector spaces may embed into the Cahiers topos. Zbl 1186.51007Nishimura, Hirokazu 1 2009 Differential geometry of microlinear Frölicher spaces. I. Zbl 1232.58001Nishimura, Hirokazu 1 2010 Boolean valued decomposition theory of states. Zbl 0592.46053Nishimura, Hirokazu 1 1985 Some connections between Boolean valued analysis and topological reduction theory for \(C^*\)-algebras. Zbl 0703.46040Nishimura, Hirokazu 1 1991 Erratum: Synthetic differential geometry of higher-order total differentials. Zbl 1115.58005Nishimura, Hirokazu 1 2006 Axiomatic differential geometry. II-1: Vector fields. Zbl 1285.51010Nishimura, Hirokazu 1 2012 Differential geometry of microlinear Frölicher spaces IV-2. Zbl 1312.58002Nishimura, Hirokazu 1 2013 Is the semantics of branching structures adequate for chronological modal logics? Zbl 0415.03016Nishimura, Hirokazu 1 1979 Is the semantics of branching structures adequate for non-metric Ockhamist tense logics? Zbl 0415.03017Nishimura, Hirokazu 1 1979 Microlinearity in Frölicher spaces – beyond the regnant philosophy of manifolds. Zbl 1193.51017Nishimura, Hirokazu 1 2010 The affine bundle theorem in synthetic differential geometry of jet bundles. Zbl 1167.51007Nishimura, Hirokazu 1 2007 General Jacobi identity revisited again. Zbl 1130.58002Nishimura, Hirokazu; Osoekawa, Takeshi 1 2007 Nonlinear connections in synthetic differential geometry. Zbl 0961.53011Nishimura, Hirokazu 1 1998 General Jacobi identity revisited. Zbl 0942.58006Nishimura, Hirokazu 1 1999 Heyting valued set theory and Sato hyperfunctions. Zbl 0614.03058Nishimura, Hirokazu 1 1986 Some Boolean valued commutative algebra. Zbl 0751.03017Nishimura, Hirokazu 1 1991 Heyting valued set theory and fibre bundles. Zbl 0654.03046Nishimura, Hirokazu 1 1988 The first Bianchi identity in synthetic differential geometry. Zbl 0989.51009Nishimura, Hirokazu 1 2001 Differential geometry of microlinear Frölicher spaces IV-2. Zbl 1312.58002Nishimura, Hirokazu 1 2013 Axiomatic differential geometry. II-1: Vector fields. Zbl 1285.51010Nishimura, Hirokazu 1 2012 Differential geometry of microlinear Frölicher spaces. I. Zbl 1232.58001Nishimura, Hirokazu 1 2010 Microlinearity in Frölicher spaces – beyond the regnant philosophy of manifolds. Zbl 1193.51017Nishimura, Hirokazu 1 2010 A lost mathematician, Takeo Nakasawa. The forgotten father of matroid theory. Zbl 1163.01001 7 2009 Gentzen methods in quantum logic. Zbl 1273.03089Nishimura, 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.51007Nishimura, Hirokazu 1 2009 The affine bundle theorem in synthetic differential geometry of jet bundles. Zbl 1167.51007Nishimura, Hirokazu 1 2007 General Jacobi identity revisited again. Zbl 1130.58002Nishimura, Hirokazu; Osoekawa, Takeshi 1 2007 Erratum: Synthetic differential geometry of higher-order total differentials. Zbl 1115.58005Nishimura, Hirokazu 1 2006 Higher-order preconnections in synthetic differential geometry of jet bundles. Zbl 1071.58004Nishimura, Hirokazu 2 2004 Holonomicity in synthetic differential geometry of jet bundles. Zbl 1044.58006Nishimura, Hirokazu 2 2003 Synthetic differential geometry of jet bundles. Zbl 1030.58001Nishimura, Hirokazu 3 2001 The first Bianchi identity in synthetic differential geometry. Zbl 0989.51009Nishimura, Hirokazu 1 2001 General Jacobi identity revisited. Zbl 0942.58006Nishimura, Hirokazu 1 1999 Differential forms in synthetic differential geometry. Zbl 0942.58008Lavendhomme, Rene; Nishimura, Hirokazu 3 1998 Nonlinear connections in synthetic differential geometry. Zbl 0961.53011Nishimura, Hirokazu 1 1998 Theory of microcubes. Zbl 0884.18014Nishimura, Hirokazu 4 1997 Synthetic Hamiltonian mechanics. Zbl 0878.58029Nishimura, Hirokazu 4 1997 Logical quantization of differential geometry. Zbl 0846.18005Nishimura, Hirokazu 5 1996 Logical quantizations of first-order structures. Zbl 0867.03021Nishimura, Hirokazu 3 1996 Logical quantization of topos theory. Zbl 0872.18002Nishimura, Hirokazu 3 1996 Empirical quantum mechanics. Zbl 0867.03022Nishimura, Hirokazu 2 1996 Manuals in orthogonal categories. Zbl 0830.18004Nishimura, Hirokazu 6 1995 Empirical sets. Zbl 0830.18005Nishimura, Hirokazu 4 1995 The logical quantization of algebraic groups. Zbl 0846.18004Nishimura, Hirokazu 4 1995 Empirical algebraic geometry. Zbl 0830.18006Nishimura, Hirokazu 2 1995 Proof theory for minimal quantum logic. I. Zbl 0798.03062Nishimura, Hirokazu 7 1994 Representations of empirical set theories. Zbl 0804.03043Nishimura, Hirokazu 6 1994 Proof theory for minimal quantum logic. II. Zbl 0809.03045Nishimura, Hirokazu 3 1994 Empirical set theory. Zbl 0779.03020Nishimura, Hirokazu 10 1993 On the duality between Boolean-valued analysis and reduction theory under the assumption of separability. Zbl 0779.47034Nishimura, Hirokazu 7 1993 A Boolean transfer principle from \(L^*\)-algebras to \(AL^*\)-algebras. Zbl 0805.03039Nishimura, Hirokazu 1 1993 Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules. Zbl 0770.03020Nishimura, Hirokazu 6 1992 Boolean valued Lie algebras. Zbl 0742.17021Nishimura, Hirokazu 8 1991 Boolean valued Dedekind domains. Zbl 0732.03031Nishimura, Hirokazu 2 1991 Foundations of Boolean valued algebraic geometry. Zbl 0763.03029Nishimura, Hirokazu 1 1991 Some connections between Boolean valued analysis and topological reduction theory for \(C^*\)-algebras. Zbl 0703.46040Nishimura, Hirokazu 1 1991 Some Boolean valued commutative algebra. Zbl 0751.03017Nishimura, Hirokazu 1 1991 Heyting valued set theory and fibre bundles. Zbl 0654.03046Nishimura, Hirokazu 1 1988 Heyting valued set theory and Sato hyperfunctions. Zbl 0614.03058Nishimura, Hirokazu 1 1986 Some applications of Boolean valued set theory to abstract harmonic analysis on locally compact groups. Zbl 0582.43005Nishimura, Hirokazu 3 1985 Boolean valued decomposition theory of states. Zbl 0592.46053Nishimura, Hirokazu 1 1985 An approach to the dimension theory of continuous geometry from the standpoint of Boolean valued analysis. Zbl 0574.51012Nishimura, Hirokazu 11 1984 Semantical analysis of constructive PDL. Zbl 0504.03010Nishimura, Hirokazu 5 1982 Arithmetical completeness in first-order dynamic logic for concurrent programs. Zbl 0466.68023Nishimura, Hirokazu 2 1981 Sequential method in quantum logic. Zbl 0437.03034Nishimura, Hirokazu 15 1980 Descriptively complete process logic. Zbl 0423.68005Nishimura, Hirokazu 8 1980 Interval logics with applications to study of tense and aspect in English. Zbl 0446.03012Nishimura, Hirokazu 3 1980 A study of some tense logics by Gentzen’s sequential method. Zbl 0446.03013Nishimura, Hirokazu 2 1980 Sequential method in propositional dynamic logic. Zbl 0401.03005Nishimura, Hirokazu 7 1979 Is the semantics of branching structures adequate for chronological modal logics? Zbl 0415.03016Nishimura, Hirokazu 1 1979 Is the semantics of branching structures adequate for non-metric Ockhamist tense logics? Zbl 0415.03017Nishimura, Hirokazu 1 1979 all cited Publications top 5 cited Publications all top 5 Cited by 79 Authors 27 Nishimura, Hirokazu 5 Pavičić, Mladen 4 Bérczi, Kristóf 3 Ozawa, Masanao 2 Alonderis, Romas 2 Cruttwell, G. S. H. 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 Schwarcz, Tamás 2 Tokuo, Kenji 2 Wijesekera, Duminda 1 Aoyama, Hiroshi 1 Bergfeld, Jort Martinus 1 Boros, Endre 1 Boudou, Joseph 1 Čepek, Ondřej 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 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 Indrzejczak, Andrzej 1 Ishii, Hiromi 1 Janowitz, Melvin F. 1 Jochemko, Katharina Victoria 1 Ju, Fengkui 1 Kawano, Tomoaki 1 Király, Tamás 1 Kučera, Petr 1 Kusraev, Anatoly Georgievich 1 Kutateladze, Semën Samsonovich 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 Papalamprou, Konstantinos 1 Passy, Solomon 1 Peleg, David 1 Pérez-Cabrera, I. 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 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 Wolper, Pierre 1 Zavala, Berta all top 5 Cited in 35 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 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 Advances in Mathematical Physics all top 5 Cited in 23 Fields 63 Mathematical logic and foundations (03-XX) 23 Quantum theory (81-XX) 16 Category theory; homological algebra (18-XX) 15 Computer science (68-XX) 9 Geometry (51-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 7 Combinatorics (05-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 Convex and discrete geometry (52-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-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) Citations by Year