Hiroakira Ono – författare
Visar alla böcker från författaren Hiroakira Ono. Handla med fri frakt och snabb leverans.
18 produkter
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Av Hiroakira Ono, Tomasz Kowalski m. fl.
E-bok, 2007
1548 kr
Lägg i varukorg
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 gentle introduction to …
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Av Nikolaos Galatos, Peter Jipsen m. fl.
Inbunden, 2007
2105 kr
Lägg i varukorg
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 gentle introduction to …
Interval / Probabilistic Uncertainty and Non-classical Logics
Av Hung T. Nguyen, Vladik Kreinovich m. fl.
E-bok, 2008
2798 kr
Lägg i varukorg
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, involve processing large amounts of data and large knowledge bases. The corresponding large-scale data and …
Logic, Language, Information and Computation
16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings
Av Hiroakira Ono, Makoto Kanazawa m. fl.
Häftad, 2009
569 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 16h International Workshop on Logic, Language, Information and Computation, WoLLIC 2009, held in Tokyo, …
Logic, Language, Information and Computation
16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings
Av Ruy de Queiroz, Makoto Kanazawa m. fl.
E-bok, 2009
718 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 16h International Workshop on Logic, Language, Information and Computation, WoLLIC 2009, held in Tokyo, …
Modality, Semantics and Interpretations
The Second Asian Workshop on Philosophical Logic
Inbunden, 2015
551 kr
Lägg i varukorg
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 Philosophical Logic, held in …
Modality, Semantics and Interpretations
The Second Asian Workshop on Philosophical Logic
Av Hiroakira Ono, Hu Liu m. fl.
E-bok, 2015
734 kr
Lägg i varukorg
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 Philosophical Logic, held in …
Modality, Semantics and Interpretations
The Second Asian Workshop on Philosophical Logic
Häftad, 2016
551 kr
Lägg i varukorg
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 Philosophical Logic, held in …
Philosophical Logic: Current Trends in Asia
Proceedings of AWPL-TPLC 2016
Av Syraya Chin-Mu Yang, Kok Yong Lee m. fl.
Inbunden, 2017
1643 kr
Lägg i varukorg
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 landscape in early 21st-century …
Philosophical Logic: Current Trends in Asia
Proceedings of AWPL-TPLC 2016
Av Hiroakira Ono, Kok Yong Lee m. fl.
E-bok, 2017
2111 kr
Lägg i varukorg
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 landscape in early 21st-century …
Philosophical Logic: Current Trends in Asia
Proceedings of AWPL-TPLC 2016
Av Syraya Chin-Mu Yang, Kok Yong Lee m. fl.
Häftad, 2018
1728 kr
Lägg i varukorg
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 landscape in early 21st-century …
Proof Theory and Algebra in Logic
Häftad, 2019
420 kr
Lägg i varukorg
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 increasingly recognized in recent years. It highlights the contrasts between the deep, concrete …
Proof Theory and Algebra in Logic
E-bok, 2019
538 kr
Lägg i varukorg
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 increasingly recognized in recent years. It highlights the contrasts between the deep, concrete …
Knowledge, Proof and Dynamics
The Fourth Asian Workshop on Philosophical Logic
Av Fenrong Liu, Hiroakira Ono m. fl.
Inbunden, 2020
1643 kr
Lägg i varukorg
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, algebraic logic, game logics, and …
Knowledge, Proof and Dynamics
The Fourth Asian Workshop on Philosophical Logic
Av Junhua Yu, Hiroakira Ono m. fl.
E-bok, 2020
2111 kr
Lägg i varukorg
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, algebraic logic, game logics, and …
Knowledge, Proof and Dynamics
The Fourth Asian Workshop on Philosophical Logic
Av Fenrong Liu, Hiroakira Ono m. fl.
Häftad, 2021
1643 kr
Lägg i varukorg
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, algebraic logic, game logics, and …
Exploring Negation, Modality and Proof
6th Asian Workshop on Philosophical Logic
Av Katsuhiko Sano, Ryo Hatano m. fl.
Inbunden, 2026
1970 kr
Lägg i varukorg
This book brings together contributions from philosophers interested in logic and logicians with a philosophical orientation to address a variety of logical and philosophical topics of current interest, including modal logic, intuitionistic logic, relevant logic, substructural logic, many-value …
Exploring Negation, Modality and Proof
6th Asian Workshop on Philosophical Logic
Av Hiroakira Ono, Ryo Hatano m. fl.
E-bok, 2026
2599 kr
Lägg i varukorg
This book brings together contributions from philosophers interested in logic and logicians with a philosophical orientation to address a variety of logical and philosophical topics of current interest, including modal logic, intuitionistic logic, relevant logic, substructural logic, many-value …
