×

Nishimura, Hirokazu

Author ID: nishimura.hirokazu Recent zbMATH articles by "Nishimura, Hirokazu"
Published as: Nishimura, Hirokazu; Nishimura, H.
Homepage: http://researchmap.jp/read0018327
External Links: ResearchGate

Publications by Year

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 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

Citations by Year