×

zbMATH — the first resource for mathematics

Nishimura, Hirokazu

Compute Distance To:
Author ID: nishimura.hirokazu Recent zbMATH articles by "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

Publications by Year

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
13
1980
Empirical set theory. Zbl 0779.03020
Nishimura, Hirokazu
10
1993
An approach to the dimension theory of continuous geometry from the standpoint of Boolean valued analysis. Zbl 0574.51012
Nishimura, Hirokazu
10
1984
Descriptively complete process logic. Zbl 0423.68005
Nishimura, Hirokazu
8
1980
Sequential method in propositional dynamic logic. Zbl 0401.03005
Nishimura, Hirokazu
7
1979
On the duality between Boolean-valued analysis and reduction theory under the assumption of separability. Zbl 0779.47034
Nishimura, Hirokazu
7
1993
Boolean valued Lie algebras. Zbl 0742.17021
Nishimura, Hirokazu
7
1991
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
Manuals in orthogonal categories. Zbl 0830.18004
Nishimura, Hirokazu
6
1995
Proof theory for minimal quantum logic. I. Zbl 0798.03062
Nishimura, Hirokazu
6
1994
Logical quantization of differential geometry. Zbl 0846.18005
Nishimura, Hirokazu
5
1996
Semantical analysis of constructive PDL. Zbl 0504.03010
Nishimura, Hirokazu
4
1982
Empirical sets. Zbl 0830.18005
Nishimura, Hirokazu
4
1995
The logical quantization of algebraic groups. Zbl 0846.18004
Nishimura, Hirokazu
4
1995
Theory of microcubes. Zbl 0884.18014
Nishimura, Hirokazu
4
1997
Interval logics with applications to study of tense and aspect in English. Zbl 0446.03012
Nishimura, Hirokazu
3
1980
Logical quantization of topos theory. Zbl 0872.18002
Nishimura, Hirokazu
3
1996
Synthetic Hamiltonian mechanics. Zbl 0878.58029
Nishimura, Hirokazu
3
1997
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
Gentzen methods in quantum logic. Zbl 1273.03089
Nishimura, Hirokazu
3
2009
A study of some tense logics by Gentzen’s sequential method. Zbl 0446.03013
Nishimura, Hirokazu
2
1980
Some applications of Boolean valued set theory to abstract harmonic analysis on locally compact groups. Zbl 0582.43005
Nishimura, Hirokazu
2
1985
Arithmetical completeness in first-order dynamic logic for concurrent programs. Zbl 0466.68023
Nishimura, Hirokazu
2
1981
Empirical algebraic geometry. Zbl 0830.18006
Nishimura, Hirokazu
2
1995
Empirical quantum mechanics. Zbl 0867.03022
Nishimura, Hirokazu
2
1996
Proof theory for minimal quantum logic. II. Zbl 0809.03045
Nishimura, Hirokazu
2
1994
A lost mathematician, Takeo Nakasawa. The forgotten father of matroid theory. Zbl 1163.01001
Nishimura, Hirokazu (ed.); Kuroda, Susumu (ed.)
2
2009
The first Bianchi identity in synthetic differential geometry. Zbl 0989.51009
Nishimura, Hirokazu
1
2001
Some connections between Boolean valued analysis and topological reduction theory for \(C^*\)-algebras. Zbl 0703.46040
Nishimura, Hirokazu
1
1991
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
Heyting valued set theory and fibre bundles. Zbl 0654.03046
Nishimura, Hirokazu
1
1988
Boolean valued Dedekind domains. Zbl 0732.03031
Nishimura, Hirokazu
1
1991
Nonlinear connections in synthetic differential geometry. Zbl 0961.53011
Nishimura, Hirokazu
1
1998
General Jacobi identity revisited. Zbl 0942.58006
Nishimura, Hirokazu
1
1999
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
Foundations of Boolean valued algebraic geometry. Zbl 0763.03029
Nishimura, Hirokazu
1
1991
Higher-order preconnections in synthetic differential geometry of jet bundles. Zbl 1071.58004
Nishimura, Hirokazu
1
2004
Synthetic differential geometry of jet bundles. Zbl 1030.58001
Nishimura, Hirokazu
1
2001
Holonomicity in synthetic differential geometry of jet bundles. Zbl 1044.58006
Nishimura, Hirokazu
1
2003
Some Boolean valued commutative algebra. Zbl 0751.03017
Nishimura, Hirokazu
1
1991
Gentzen methods in quantum logic. Zbl 1273.03089
Nishimura, Hirokazu
3
2009
A lost mathematician, Takeo Nakasawa. The forgotten father of matroid theory. Zbl 1163.01001
Nishimura, Hirokazu; Kuroda, Susumu
2
2009
Higher-order preconnections in synthetic differential geometry of jet bundles. Zbl 1071.58004
Nishimura, Hirokazu
1
2004
Holonomicity in synthetic differential geometry of jet bundles. Zbl 1044.58006
Nishimura, Hirokazu
1
2003
The first Bianchi identity in synthetic differential geometry. Zbl 0989.51009
Nishimura, Hirokazu
1
2001
Synthetic differential geometry of jet bundles. Zbl 1030.58001
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
Theory of microcubes. Zbl 0884.18014
Nishimura, Hirokazu
4
1997
Synthetic Hamiltonian mechanics. Zbl 0878.58029
Nishimura, Hirokazu
3
1997
Logical quantization of differential geometry. Zbl 0846.18005
Nishimura, Hirokazu
5
1996
Logical quantization of topos theory. Zbl 0872.18002
Nishimura, Hirokazu
3
1996
Logical quantizations of first-order structures. Zbl 0867.03021
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
Representations of empirical set theories. Zbl 0804.03043
Nishimura, Hirokazu
6
1994
Proof theory for minimal quantum logic. I. Zbl 0798.03062
Nishimura, Hirokazu
6
1994
Proof theory for minimal quantum logic. II. Zbl 0809.03045
Nishimura, Hirokazu
2
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
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
7
1991
Some connections between Boolean valued analysis and topological reduction theory for \(C^*\)-algebras. Zbl 0703.46040
Nishimura, Hirokazu
1
1991
Boolean valued Dedekind domains. Zbl 0732.03031
Nishimura, Hirokazu
1
1991
Foundations of Boolean valued algebraic geometry. Zbl 0763.03029
Nishimura, Hirokazu
1
1991
Some Boolean valued commutative algebra. Zbl 0751.03017
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
2
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
10
1984
Semantical analysis of constructive PDL. Zbl 0504.03010
Nishimura, Hirokazu
4
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
13
1980
Descriptively complete process logic. Zbl 0423.68005
Nishimura, Hirokazu
8
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

Citations by Year