Search results for ‘Hiroakira Ono’

Proof Theory and Algebra in Logic

Hiroakira Ono

Hiroakira Ono on Substructural Logics

Modality, Semantics and Interpretations: The Second Asian Workshop on Philosophical Logic

Modality, Semantics and Interpretations: The Second Asian Workshop on Philosophical Logic

Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic

Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic

Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings

Mathematical Logic In Asia - Proceedings Of The 9th Asian Logic Conference

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016

Interval / Probabilistic Uncertainty and Non-classical Logics

Proceedings Of The 10th Asian Logic Conference

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Nikolaos Galatos (School of Information Science, Japan Advanced Institute of Science and Technology),Peter Jipsen (Chapman University, Orange, USA),Tomasz Kowalski (Australian National University, Canberra, Australia),Hiroakira Ono (Japan Advanced Institute of Science and Technology, Ishikawa, Japan)