Hiroakira Ono

	2009
16		Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings Springer 2009
15		Hiroakira Ono: Glivenko theorems revisited. Ann. Pure Appl. Logic 161(2): 246-250 (2009)
	2008
14		Van-Nam Huynh, Yoshiteru Nakamori, Hiroakira Ono, Jonathan Lawry, Vladik Kreinovich, Hung T. Nguyen: Interval / Probabilistic Uncertainty and Non-Classical Logics Springer 2008
13		Hiroakira Ono: An Algebraic Approach to Substructural Logics - An Overview. Interval / Probabilistic Uncertainty and Non-Classical Logics 2008: 3-4
	2006
12		Nikolaos Galatos, Hiroakira Ono: Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL. Studia Logica 83(1-3): 279-308 (2006)
	2004
11		Francesco Belardinelli, Peter Jipsen, Hiroakira Ono: Algebraic Aspects of Cut Elimination. Studia Logica 77(2): 209-240 (2004)
	2003
10		Hiroakira Ono: Closure Operators and Complete Embeddings of Residuated Lattices. Studia Logica 74(3): 427-440 (2003)
	2002
9		Hiroakira Ono: Completions of Algebras and Completeness of Modal and Substructural Logics. Advances in Modal Logic 2002: 335-370
8		Franco Montagna, Hiroakira Ono: Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL[forall]. Studia Logica 71(2): 227-245 (2002)
	1998
7		Yoshihito Tanaka, Hiroakira Ono: Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal Logics. Advances in Modal Logic 1998: 401-420
	1997
6		Hiroakira Ono: Foreword: Non-standard Logics and Logical Aspects of Computer Science. Theor. Comput. Sci. 175(1): 1 (1997)
	1990
5		Pierluigi Minari, Mitio Takano, Hiroakira Ono: Intermediate Predicate Logics Determined by Ordinals. J. Symb. Log. 55(3): 1099-1124 (1990)
	1985
4		Hiroakira Ono, Yuichi Komori: Logics Without the Contraction Rule. J. Symb. Log. 50(1): 169-201 (1985)
	1983
3		Akira Nakamura, Hiroakira Ono: Pictures of Functions and Their Acceptability by Automata. Theor. Comput. Sci. 23: 37-48 (1983)
	1980
2		Hiroakira Ono, Akira Nakamura: Decidability Results on a Query Language for Data Bases with Incomplete Informations. MFCS 1980: 452-459
	1979
1		Hiroakira Ono, Akira Nakamura: Undecidability of the First-Order Arithmetic A[P(x), 2x, x+1]. J. Comput. Syst. Sci. 18(3): 243-253 (1979)

Coauthor Index

1	Francesco Belardinelli	[11]
2	Nikolaos Galatos	[12]
3	Van-Nam Huynh	[14]
4	Peter Jipsen	[11]
5	Makoto Kanazawa	[16]
6	Yuichi Komori	[4]
7	Vladik Kreinovich	[14]
8	Jonathan Lawry	[14]
9	Pierluigi Minari	[5]
10	Franco Montagna	[8]
11	Yoshiteru Nakamori	[14]
12	Akira Nakamura	[1] [2] [3]
13	Hung T. Nguyen	[14]
14	Ruy J. G. B. de Queiroz	[16]
15	Mitio Takano	[5]
16	Yoshihito Tanaka	[7]

Colors in the list of coauthors