Tous les ebooks d'Hiroakira Ono en PDF et EPUB


4  résultat(s)
Télécharger le livre :  Knowledge, Proof and Dynamics
Ajouter à ma liste d'envies

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,...

Parution : 2020-03-23
Format(s) : PDF, ePub
Éditeur : Springer
J'achète
147,69
Télécharger le livre :  Philosophical Logic: Current Trends in Asia
Ajouter à ma liste d'envies

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...

Parution : 2017-11-25
Format(s) : PDF, ePub
Éditeur : Springer
J'achète
147,69
Télécharger le livre :  Modality, Semantics and Interpretations
Ajouter à ma liste d'envies

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...

Parution : 2015-07-03
Format(s) : PDF, ePub
Éditeur : Springer
J'achète
52,74
Télécharger le livre :  Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Ajouter à ma liste d'envies

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...

Parution : 2007-04-25
Format(s) : epub sans DRM
Éditeur : Elsevier Science
J'achète
124,49

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés