#### Logic Group

#
Hiroakira Ono

## Professor

#### ono@jaist.ac.jp

*DPhil Kyoto University, 1973*
**NOTE**: Japanese page is here.

## Research Interests

- Nonclassical Logic
- Substructural Logics
- Logic of knowledge and belief, cumulative reasoning

## Publications

- The contraction rule and decision problems for logics without structural rules ( with E. Kiriyama ), Studia Logica 50 (1991), 299-319.
- Logics of belief and belief sets --- an approach to autoepistemic logic, Information Modelling and Knowledge Bases III, IOS Press Amsterdam 1992, 218-228.
- Algebraic aspect of logics without structural rules, Contemporary Mathematics 131 ( Part 3 ) (1992), 601-621.
- Semantics for substructural logics, Substructural Logics, Oxford University Press 1993, 259-291.
- The finite model property for BCK and BCIW ( with R.K. Meyer ), Studia Logica 53 (1994), 107-118.
- Extending intuitionistic linear logic with knotted structural rules ( with R. Hori and H. Schellinx ), Notre Dame Journal of Formal Logic 35 (1994), 219-242.
- Non-uniqueness of normal proofs for minimal formulas in implication-conjunction fragment of BCK ( with T. Aoto ), Bulletin of the Section of Logic 23 (1994), 104-112.
- Decidability and the finite model property of substructural logics, Proceedings of Tbilisi Symposium on Language, Logic and Computation, CSLI Lecture Note, ( to appear ).
- Algebraic semantics for predicate logics and their completeness, Logic at work; Essays dedicated to the memory of Helena Rasiowa, ( to appear ).

## Profile

BSc University of Tokyo 1966,
MSc University of Tokyo 1968,
DPhil Kyoto University 1973,
Research Associate at Kyoto University 1968 Apr - 1973 Apr,
Associate Professor at Tsuda College 1973 May - 1976 Sep,
Associate Professor at Hiroshima University 1976 Oct - 1985 Sep,
Professor at Hiroshima University 1985 Oct - 1993 Sep,
Professor at JAIST 1993 Oct -,
Editor of Studia Logica 1983 -,
Editor of Bulletin of Section of Logic 1988 -,
Editor of Annals of Pure and Applied Logic 1996 -,
Council Member of Association for Symbolic Logic 1993 Jan - 1995 Dec,

Last modified: 3 June 1996 by Hajime Ishihara
(ishihara@jaist.ac.jp).