Proof Theory and Algebra in Logic Mais livros de Hiroakira Ono

Knowledge, Proof and Dynamics Knowledge, Proof and Dynamics
2020
Philosophical Logic: Current Trends in Asia Philosophical Logic: Current Trends in Asia
2017
Modality, Semantics and Interpretations Modality, Semantics and Interpretations
2015
Residuated Lattices: An Algebraic Glimpse at Substructural Logics Residuated Lattices: An Algebraic Glimpse at Substructural Logics
2007
Interval / Probabilistic Uncertainty and Non-classical Logics Interval / Probabilistic Uncertainty and Non-classical Logics
2008