Hiroshi Aoyama

According to our database, Hiroshi Aoyama authored at least 6 papers between 1981 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2013

Systems of Quantum Logic.

Satoko Titani, Heiji Kodera, Hiroshi Aoyama

Stud Logica, 2013

2004

LK, LJ, Dual Intuitionistic Logic, and Quantum Logic.

Hiroshi Aoyama

Notre Dame J. Formal Log., 2004

1998

The Semantic Completeness of a Global Intuitionistic Logic.

Hiroshi Aoyama

Math. Log. Q., 1998

1994

The Strong Completeness of a System Based on Kleene's Strong Three-Valued Logic.

Hiroshi Aoyama

Notre Dame J. Formal Log., 1994

1991

A piecewise linear approximation method preserving visual feature points of original figures.

Hiroshi Aoyama, Masahiro Kawagoe

CVGIP Graph. Model. Image Process., 1991

1981

PAS-CIP: An interactive logic design system.

Gotaro Odawara, Satoshi Kurishima, Hiroshi Aoyama, Yasuhiko Kanaya

Proceedings of the 18th Design Automation Conference, 1981