Hirokazu Nishimura

According to our database1, 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 
Other 

Links

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


  Loading...