Home Advanced Search

Advanced Search - Page 1

Proof Theory and Algebra in Logic
  • PDF
  • English
  • Year: 2019
  • Author: Hiroakira Ono
Modality, Semantics and Interpretations: The Second Asian Workshop on Philosophical Logic
  • PDF
  • English
  • Year: 2015
  • Author: Shier Ju, Hu Liu, Hiroakira Ono (eds.)
Residuated lattices: An algebraic glimpse at substructural logics
  • PDF
  • English
  • Year: 2007
  • Author: Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
  • DJVU
  • English
  • Year: 2007
  • Author: Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
  • DJVU
  • English
  • Year: 2007
  • Author: Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
  • PDF
  • English
  • Year: 2007
  • Author: Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono
Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
  • PDF
  • English
  • Year: 2020
  • Author: Fenrong Liu (editor), Hiroakira Ono (editor), Junhua Yu (editor)
Interval / Probabilistic Uncertainty and Non-Classical Logics
  • PDF
  • English
  • Year: 2008
  • Author: Hiroakira Ono (auth.), Van-Nam Huynh, Yoshiteru Nakamori, Hiroakira Ono, Jonathan Lawry, Vkladik Kreinovich, Hung T. Nguyen (eds.)
Interval / Probabilistic Uncertainty and Non-classical Logics
  • PDF
  • English
  • Year: 2008
  • Author: Hiroakira Ono (auth.), Van-Nam Huynh, Yoshiteru Nakamori, Hiroakira Ono, Jonathan Lawry, Vkladik Kreinovich, Hung T. Nguyen (eds.)
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016
  • PDF
  • English
  • Year: 2017
  • Author: Syraya Chin-Mu Yang,Kok Yong Lee,Hiroakira Ono (eds.)