| |
| 1994 | ||
|---|---|---|
| 8 | Hirokazu Nishimura: Boolean Valued and Stone Algebra Valued Measure Theories. Math. Log. Q. 40: 69-75 (1994) | |
| 1993 | ||
| 7 | Hirokazu Nishimura: On a Duality Between Boolean Valued Analysis and Topological Reduction Theory. Math. Log. Q. 39: 23-32 (1993) | |
| 6 | Hirokazu Nishimura: A Boolean Transfer Principle from L*-Algebras to AL*-Algebras. Math. Log. Q. 39: 241-250 (1993) | |
| 1991 | ||
| 5 | Hirokazu Nishimura: Boolean Valued Lie Algebras. J. Symb. Log. 56(2): 731-741 (1991) | |
| 1983 | ||
| 4 | Hirokazu Nishimura: Hauptsatz for Higher-Order Modal Logic. J. Symb. Log. 48(3): 744-751 (1983) | |
| 1980 | ||
| 3 | Hirokazu Nishimura: Descriptively Complete Process Logic. Acta Inf. 14: 359-369 (1980) | |
| 2 | Hirokazu Nishimura: Sequential Method in Quantum Logic. J. Symb. Log. 45(2): 339-352 (1980) | |
| 1979 | ||
| 1 | Hirokazu Nishimura: Sequential Method in Propositional Dynamic Logic. Acta Inf. 12: 377-400 (1979) | |