dblp.uni-trier.dewww.uni-trier.de

Hirokazu Nishimura

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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)

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)