Magnifying Glass
Search Loader

Author: Hiroakira Ono

Support

8 Ebooks by Hiroakira Ono

Van-Nam Huynh & Yoshiteru Nakamori: Interval / Probabilistic Uncertainty and Non-classical Logics
Large-scale data processing is important. Most successful applications of m- ern science and engineering, from discovering the human genome to predicting weather to controlling space missions, …
PDF
English
€203.29
Shier Ju & Hu Liu: Modality, Semantics and Interpretations
This contributed volume includes both theoretical research on philosophical logic and its  applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. I …
PDF
English
€53.49
Syraya Chin-Mu Yang & Kok Yong Lee: Philosophical Logic: Current Trends in Asia
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest …
PDF
English
€149.79
Sergei S Goncharov & Hiroakira Ono: Mathematical Logic In Asia – Proceedings Of The 9th Asian Logic Conference
This volume is devoted to the main areas of mathematical logic and applications to computer science. There are articles on weakly o-minimal theories, algorithmic complexity of relations, models …
PDF
English
DRM
€249.99
Nikolaos Galatos & Peter Jipsen: Residuated Lattices: An Algebraic Glimpse at Substructural Logics
The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The …
PDF
English
DRM
€118.70
Makoto Kanazawa & Hiroakira Ono: Logic, Language, Information and Computation
Edited in collaboration with Fo LLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the Fo LLI LNAI subline; containing the refereed proceedings of the …
PDF
English
DRM
€56.23
Hiroakira Ono: Proof Theory and Algebra in Logic
This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The importance of combining these two has been …
EPUB
English
DRM
€41.32
Fenrong Liu & Hiroakira Ono: Knowledge, Proof and Dynamics
This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018. The contributions cover a wide variety of topics in modal logic …
PDF
English
€149.79