Hirokazu Nishimura

19 papers Journal 19
YearRankTypeTitle / Venue / Authors
1994 J jnl
Boolean Valued and Stone Algebra Valued Measure Theories.
Math. Log. Q.
Hirokazu Nishimura
1993 J jnl
A Boolean Transfer Principle from L
Math. Log. Q.
Hirokazu Nishimura
1993 J jnl
On a Duality Between Boolean Valued Analysis and Topological Reduction Theory.
Math. Log. Q.
Hirokazu Nishimura
1991 J jnl
Boolean Valued Dedekind Domains.
Math. Log. Q.
Hirokazu Nishimura
1991 J jnl
Boolean Valued Lie Algebras.
J. Symb. Log.
Hirokazu Nishimura
1991 J jnl
Foundations of Boolean Valued Algebraic Geometry.
Math. Log. Q.
Hirokazu Nishimura
1991 J jnl
Some Boolean Valued Commutative Algebra.
Math. Log. Q.
Hirokazu Nishimura
1990 J jnl
On the absoluteness of types in boolean valued lattices.
Math. Log. Q.
Hirokazu Nishimura
1990 J jnl
Some connections between boolean valued analysis and topological reduction theory for C
Math. Log. Q.
Hirokazu Nishimura
1983 J jnl
Hauptsatz for Higher-Order Modal Logic.
J. Symb. Log.
Hirokazu Nishimura
1981 J jnl
The Semantical Characterization of de Dicto in Continuous Modal Model Theory.
Math. Log. Q.
Hirokazu Nishimura
1980 J jnl
A Preservation Theorem for Tense Logic.
Math. Log. Q.
Hirokazu Nishimura
1980 J jnl
Descriptively Complete Process Logic.
Acta Informatica
Hirokazu Nishimura
1980 J jnl
Saturated and Special Models in Modal Model Theory With Applications to the Modal and DE RE Hierarchies.
Math. Log. Q.
Hirokazu Nishimura
1980 J jnl
Sequential Method in Quantum Logic.
J. Symb. Log.
Hirokazu Nishimura
1979 J jnl
Is the semantics of branching structures adequate for chronological modal logics?
J. Philos. Log.
Hirokazu Nishimura
1979 J jnl
Is the semantics of branching structures adequate for non-metric Ockhamist tense logics?
J. Philos. Log.
Hirokazu Nishimura
1979 J jnl
On the Completeness of Chronological Logics with Modal Operators.
Math. Log. Q.
Hirokazu Nishimura
1979 J jnl
Sequential Method in Propositional Dynamic Logic.
Acta Informatica
Hirokazu Nishimura