Tous les livres numériques d'Hiroakira Ono en PDF et EPUB

4 Livre(s)
Télécharger le livre : Knowledge, Proof and Dynamics
Knowledge, Proof and Dynamics
Fenrong Liu , Hiroakira Ono , Junhua Yu
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 (epistemic logic, temporal logic and dynamic logic), proof theory,...

Editeur : Springer
Parution : 2020-03-23
PDF, ePub

147,69 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Philosophical Logic: Current Trends in Asia
Philosophical Logic: Current Trends in Asia
Kok Yong Lee , Hiroakira Ono , Syraya Chin-Mu Yang
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, offering a representative cross-section of the philosophical logic...

Editeur : Springer
Parution : 2017-11-25
PDF, ePub

147,69 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Modality, Semantics and Interpretations
Modality, Semantics and Interpretations
Shier Ju , Hu Liu , Hiroakira Ono
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. It collects selected papers presented at the Second Asia Workshop on...

Editeur : Springer
Parution : 2015-07-03
PDF, ePub

52,74 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Nikolaos Galatos , Hiroakira Ono , Peter Jipsen , Tomasz Kowalski
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 second, less obvious but equally important, is to provide a reasonably...

Editeur : Elsevier Science
Parution : 2007-04-25
epub sans DRM

124,49 €
Téléchargement immédiat
Dès validation de votre commande