 | 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) |
