Searching for authors named "Hiroakira Ono" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Completions of Algebras and Completeness of Modal and Substructural Logics
- …16 Completions of Algebras and Completeness of Modal and Substructural Logics Hiroakira Ono…
- Cited by 5 (1 self) – Add To MetaCart
-
Decidability and Finite Model Property of Substructural Logics
- …Decidability and finite model property of substructural logics Hiroakira Ono School of Information…
- Cited by 7 (2 self) – Add To MetaCart
-
Uniqueness of Normal Proofs in $\{\rightarrow, \wedge\}$-Fragment of NJ
- …Uniqueness of normal proofs in f!;g-fragment of NJ Takahito Aoto aoto@(email omitted); Hiroakira Ono…
- Add To MetaCart
-
Non-Uniqueness Of Normal Proofs for Minimal Formulas in Implication-Conjunction Fragment of BCK
- …Takahito Aoto Hiroakira Ono NON-UNIQUENESS OF NORMAL PROOFS FOR MINIMAL FORMULAS IN IMPLICATION…
- Cited by 2 (2 self) – Add To MetaCart
-
Splittings in the variety of residuated lattices
- …Splittings in the variety of residuated lattices Tomasz Kowalski, Hiroakira Ono Japan Advanced…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 5.
