Hiroakira Ono

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Nikolaos Galatos

> Home > Persons > Hiroakira Ono

Publications

2012
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/GalatosJO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/GalatosJO12
Nikolaos Galatos, Peter Jipsen, Hiroakira Ono:
Preface. Stud Logica 100(6): 1059-1062 (2012)
2010
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/GalatosO10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/GalatosO10
Nikolaos Galatos, Hiroakira Ono:
Cut elimination and strong separation for substructural logics: An algebraic approach. Ann. Pure Appl. Log. 161(9): 1097-1133 (2010)
2006
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/GalatosO06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/GalatosO06
Nikolaos Galatos, Hiroakira Ono:
Glivenko theorems for substructural logics over FL. J. Symb. Log. 71(4): 1353-1384 (2006)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/GalatosO06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/GalatosO06
Nikolaos Galatos, Hiroakira Ono:
Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL. Stud Logica 83(1-3): 279-308 (2006)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.