Hirokazu Nishimura

According to our database, Hirokazu Nishimura authored at least 19 papers between 1979 and 1994.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

1994

Boolean Valued and Stone Algebra Valued Measure Theories.

Hirokazu Nishimura

Math. Log. Q., 1994

1993

A Boolean Transfer Principle from L^*-Algebras to AL^*-Algebras.

Hirokazu Nishimura

Math. Log. Q., 1993

On a Duality Between Boolean Valued Analysis and Topological Reduction Theory.

Hirokazu Nishimura

Math. Log. Q., 1993

1991

Foundations of Boolean Valued Algebraic Geometry.

Hirokazu Nishimura

Math. Log. Q., 1991

Some Boolean Valued Commutative Algebra.

Hirokazu Nishimura

Math. Log. Q., 1991

Boolean Valued Dedekind Domains.

Hirokazu Nishimura

Math. Log. Q., 1991

Boolean Valued Lie Algebras.

Hirokazu Nishimura

J. Symb. Log., 1991

1990

Some connections between boolean valued analysis and topological reduction theory for C^*-algebras.

Hirokazu Nishimura

Math. Log. Q., 1990

On the absoluteness of types in boolean valued lattices.

Hirokazu Nishimura

Math. Log. Q., 1990

1983

Hauptsatz for Higher-Order Modal Logic.

Hirokazu Nishimura

J. Symb. Log., 1983

1981

The Semantical Characterization of de Dicto in Continuous Modal Model Theory.

Hirokazu Nishimura

Math. Log. Q., 1981

1980

Saturated and Special Models in Modal Model Theory With Applications to the Modal and DE RE Hierarchies.

Hirokazu Nishimura

Math. Log. Q., 1980

A Preservation Theorem for Tense Logic.

Hirokazu Nishimura

Math. Log. Q., 1980

Sequential Method in Quantum Logic.

Hirokazu Nishimura

J. Symb. Log., 1980

Descriptively Complete Process Logic.

Hirokazu Nishimura

Acta Informatica, 1980

1979

On the Completeness of Chronological Logics with Modal Operators.

Hirokazu Nishimura

Math. Log. Q., 1979

Is the semantics of branching structures adequate for non-metric Ockhamist tense logics?

Hirokazu Nishimura

J. Philos. Log., 1979

Is the semantics of branching structures adequate for chronological modal logics?

Hirokazu Nishimura

J. Philos. Log., 1979

Sequential Method in Propositional Dynamic Logic.

Hirokazu Nishimura

Acta Informatica, 1979