Hirokazu Nishimura

发表

Dipositif et procede de traitement de l'image produite par un endoscope

Hirokazu Nishimura, Tetsuo Nonami, Masaichi Nakamura, 1991 .

A Preservation Theorem for Tense Logic

Hirokazu Nishimura, H. Nishimura, 1980, Math. Log. Q..

On a Duality Between Boolean Valued Analysis and Topological Reduction Theory

Hirokazu Nishimura, 1993, Math. Log. Q..

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

Hirokazu Nishimura, H. Nishimura, 1979, J. Philos. Log..

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

Hirokazu Nishimura, H. Nishimura, 1979, J. Philos. Log..

The Semantical Characterization of de Dicto in Continuous Modal Model Theory

Hirokazu Nishimura, 1981, Math. Log. Q..

Boolean Valued Dedekind Domains

Hirokazu Nishimura, H. Nishimura, 1991, Math. Log. Q..

Gentzen Methods in Quantum Logic

Hirokazu Nishimura, H. Nishimura, 2009 .

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

Hirokazu Nishimura, 1990, Math. Log. Q..

On the absoluteness of types in boolean valued lattices

Hirokazu Nishimura, 1990, Math. Log. Q..

Foundations of Boolean Valued Algebraic Geometry

Hirokazu Nishimura, 1991, Math. Log. Q..

Boolean Valued Lie Algebras

Hirokazu Nishimura, 1991, J. Symb. Log..

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

Hirokazu Nishimura, 1993, Math. Log. Q..

Some Boolean Valued Commutative Algebra

Hirokazu Nishimura, 1991, Math. Log. Q..

A-5 Development of design support program to estimate optimal equipment capacity for cogeneration system

Atsushi Takahashi, Tamio Ito, Hirokazu Nishimura, 1988 .

Hauptsatz for higher-order modal logic

Hirokazu Nishimura, H. Nishimura, 1983, Journal of Symbolic Logic.

Descriptively complete process logic

Hirokazu Nishimura, 2004, Acta Informatica.

Sequential Method in Quantum Logic

Hirokazu Nishimura, 1980, J. Symb. Log..

Sequential method in propositional dynamic logic

Hirokazu Nishimura, H. Nishimura, 1979, Acta Informatica.

Boolean Valued and Stone Algebra Valued Measure Theories

Hirokazu Nishimura, 1994, Math. Log. Q..

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

Hirokazu Nishimura, H. Nishimura, 1980, Math. Log. Q..

On the Completeness of Chronological Logics with Modal Operators

Hirokazu Nishimura, 1979, Math. Log. Q..

A Cut-Free Sequential System for the Propositional Modal Logic of Finite Chains

Hirokazu Nishimura, H. Nishimura, 1983 .

Boolean Valued Decomposition Theory of States

Hirokazu Nishimura, H. Nishimura, 1985 .

Proof theory for minimal quantum logic II

Hirokazu Nishimura, 1994 .

Interval Logics with Applications to Study of Tense and Aspect in English

Hirokazu Nishimura, H. Nishimura, 1980 .

Proof theory for minimal quantum logic I

Hirokazu Nishimura, H. Nishimura, 1994 .

Some Applications of Boolean Valued Set Theory to Abstract Harmonic Analysis on Locally Compact Groups

Hirokazu Nishimura, H. Nishimura, 1985 .

Heyting Valued Considerations on Some Fundamental Existence Theorems in Modern Analysis

Hirokazu Nishimura, 1988 .

Arithmetical Completeness in First-Order Dynamic Logic for Concurrent Programs

Hirokazu Nishimura, 1981 .

Some connections between Heyting valued set theory and algebraic geometry—prolegomena to intuitionistic algebraic geometry—

Hirokazu Nishimura, H. Nishimura, 1987 .

An Approach to the Dimension Theory of Continuous Geometry from the Standpoint of Boolean Valued Analysis

Hirokazu Nishimura, H. Nishimura, 1984 .

A lost mathematician, Takeo Nakasawa : the forgotten father of matroid theory

Hirokazu Nishimura, Susumu Kuroda, 2009 .

A Lost Mathematician, Takeo Nakasawa

Hirokazu Nishimura, Susumu Kuroda, 2009 .

FIELD INVESTIGATION ON SURFACE TEMPERATURE AND SURFACE HEAT FLUXES IN AN URBAN CAVITY SPACE

Yasuto Nakamura, Hirokazu Nishimura, Hisashi Hiraoka, 1986 .

Semantical Analysis of Constructive PDL

Hirokazu Nishimura, H. Nishimura, 1982 .