Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


1 - 12 de 12 resultados para “hiroakira ono”
Skip side bar filters

  • Exploring Negation, Modality and Proof

    6th Asian Workshop on Philosophical Logic

    Edición de 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 ... Leer más

    $170.99 USD

  • Modality, Semantics and Interpretations

    The Second Asian Workshop on Philosophical Logic

    Edición de 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 ... Leer más

    $49.99 USD

  • Proof Theory and Algebra in Logic

    de 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 ... Leer más

    $40.99 USD

  • Knowledge, Proof and Dynamics

    The Fourth Asian Workshop on Philosophical Logic

    Edición de 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 ... Leer más

    $143.09 USD

  • Philosophical Logic: Current Trends in Asia

    Proceedings of AWPL-TPLC 2016

    Edición de 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, ... Leer más

    $143.99 USD

  • Residuated Lattices: An Algebraic Glimpse at Substructural Logics

    de Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono ...
    Series Libro 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 ... Leer más

    $139.99 USD

La gente que leyó estos también disfrutó

  • Conditionals and Modularity in General Logics

    de 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 ... Leer más

    $89.99 USD

  • A Course on Mathematical Logic

    de 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 ... Leer más

    $62.99 USD

  • A New Perspective on Nonmonotonic Logics

    de 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 ... Leer más

    $89.99 USD

  • Mathematics and the Roots of Postmodern Thought

    de 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 ... Leer más

    $43.99 USD

  • Number-Crunching

    Taming Unruly Computational Problems from Mathematical Physics to Science Fiction

    de 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 ... Leer más

    $21.59 USD

  • One Hundred Prisoners and a Light Bulb

    de Hans van Ditmarsch, Barteld Kooi ...
    Series series Mathematics and Statistics (R0)
    A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no ... Leer más

    $18.99 USD