Skip to main content
Search Button
Canada Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “hiroakira ono”
Skip side bar filters

  • Proof Theory and Algebra in Logic

    by Hiroakira Ono ...
    Series series Philosophy and Religion (R0)
    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 results using the former and the general, abstract ones using the latter. Covering modal logics, many ... Read more

    $47.39 CAD

  • Exploring Negation, Modality and Proof

    6th Asian Workshop on Philosophical Logic

    Edited by Katsuhiko Sano, Ryo Hatano, Hiroakira Ono ...
    Series series Philosophy and Religion (R0)
    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 logic, formal semantics, proof theory, and paradox. In particular, it provides the state of the art in ... Read more

    $217.79 CAD

  • Residuated Lattices: An Algebraic Glimpse at Substructural Logics

    by Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono ...
    Series Book 151 - Studies in Logic and the Foundations of Mathematics
    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 algebraic logic. At the beginning, the second objective is predominant. Thus, in the first few chapters the ... Read more

    $136.79 CAD

  • Philosophical Logic: Current Trends in Asia

    Proceedings of AWPL-TPLC 2016

    Edited by Hiroakira Ono, Syraya Chin-Mu Yang, Kok Yong Lee ...
    Series series Springer Nature Proceedings excluding Computer Science
    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 Asia. It surveys a variety of fields, including modal logic, epistemic logic, formal semantics, ... Read more

    $179.39 CAD

  • Knowledge, Proof and Dynamics

    The Fourth Asian Workshop on Philosophical Logic

    Edited by Fenrong Liu, Hiroakira Ono, Junhua Yu ...
    Series series Springer Nature Proceedings excluding Computer Science
    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 philosophical foundations of logic. They also reflect the interdisciplinary nature of logic – a subject ... Read more

    $179.39 CAD

  • Modality, Semantics and Interpretations

    The Second Asian Workshop on Philosophical Logic

    Edited by Shier Ju, Hu Liu, Hiroakira Ono ...
    Series series Philosophy and Religion (R0)
    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 Guangzhou, China in 2014, as well as a number of invited papers by specialists in related fields. The ... Read more

    $64.09 CAD

People who read these also enjoyed

  • A Course on Mathematical Logic

    by Shashi Mohan Srivastava ...
    Series series Mathematics and Statistics (R0)
    This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to ... Read more

    $83.29 CAD

  • Conditionals and Modularity in General Logics

    by Dov M. Gabbay, Karl Schlechta ...
    Series series Computer Science (R0)
    This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity ... Read more

    $115.29 CAD

  • A New Perspective on Nonmonotonic Logics

    by Dov M. Gabbay, Karl Schlechta ...
    Series series Computer Science (R0)
    In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core of the book, where the authors combine the ideas of several types of nonmonotonic logics and their analysis of 'natural' concepts ... Read more

    $115.29 CAD

  • Number-Crunching

    Taming Unruly Computational Problems from Mathematical Physics to Science Fiction

    by Paul J. Nahin ...
    More stimulating mathematics puzzles from bestselling author Paul NahinHow do technicians repair broken communications cables at the bottom of the ocean without actually seeing them? What's the likelihood of plucking a needle out of a haystack the size of the Earth? And is it possible to use computers to create a universal library of everything ever written or every photo ever taken? These are ... Read more

    $32.99 CAD

  • Mathematics and the Roots of Postmodern Thought

    by Vladimir Tasic ...
    This is a charming and insightful contribution to an understanding of the "Science Wars" between postmodernist humanism and science, driving toward a resolution of the mutual misunderstanding that has driven the controversy. It traces the root of postmodern theory to a debate on the foundations of mathematics early in the 20th century, then compares developments in mathematics to what took place ... Read more

    $42.39 CAD

  • An Introduction to Mathematical Cryptography

    by Jeffrey Hoffstein, Jill Pipher, Joseph H. Silverman ...
    Series series Mathematics and Statistics (R0)
    This self-contained introduction to modern cryptography emphasizes the mathematics behind the theory of public key cryptosystems and digital signature schemes. The book focuses on these key topics while developing the mathematical tools needed for the construction and security analysis of diverse cryptosystems. Only basic linear algebra is required of the reader; techniques from algebra, number ... Read more

    $89.69 CAD