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
  • 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
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.)
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.)
Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Arnold Beckmann (auth.), Hiroakira Ono, Makoto Kanazawa, Ruy de Queiroz (eds.)
search