Hirokazu Nishimura
According to our database^{1}, Hirokazu Nishimura
- authored at least 19 papers between 1979 and 1994.
- has no known "Dijkstra number"^{2}.
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
1994
Boolean Valued and Stone Algebra Valued Measure Theories.
Math. Log. Q., 1994
1993
A Boolean Transfer Principle from L^{*}-Algebras to AL^{*}-Algebras.
Math. Log. Q., 1993
On a Duality Between Boolean Valued Analysis and Topological Reduction Theory.
Math. Log. Q., 1993
1991
Foundations of Boolean Valued Algebraic Geometry.
Math. Log. Q., 1991
Some Boolean Valued Commutative Algebra.
Math. Log. Q., 1991
Boolean Valued Dedekind Domains.
Math. Log. Q., 1991
Boolean Valued Lie Algebras.
J. Symb. Log., 1991
1990
Some connections between boolean valued analysis and topological reduction theory for C^{*}-algebras.
Math. Log. Q., 1990
On the absoluteness of types in boolean valued lattices.
Math. Log. Q., 1990
1983
Hauptsatz for Higher-Order Modal Logic.
J. Symb. Log., 1983
1981
The Semantical Characterization of de Dicto in Continuous Modal Model Theory.
Math. Log. Q., 1981
1980
Saturated and Special Models in Modal Model Theory With Applications to the Modal and DE RE Hierarchies.
Math. Log. Q., 1980
A Preservation Theorem for Tense Logic.
Math. Log. Q., 1980
Sequential Method in Quantum Logic.
J. Symb. Log., 1980
Descriptively Complete Process Logic.
Acta Inf., 1980
1979
On the Completeness of Chronological Logics with Modal Operators.
Math. Log. Q., 1979
Is the semantics of branching structures adequate for non-metric Ockhamist tense logics?
J. Philosophical Logic, 1979
Is the semantics of branching structures adequate for chronological modal logics?
J. Philosophical Logic, 1979
Sequential Method in Propositional Dynamic Logic.
Acta Inf., 1979