Skip to main content

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

    $40.49 USD

  • Residuated Lattices: An Algebraic Glimpse at Substructural Logics

    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

    $139.49 USD

  • Exploring Negation, Modality and Proof

    6th Asian Workshop on Philosophical Logic

    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

    $170.09 USD

  • 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

    $49.49 USD

  • Philosophical Logic: Current Trends in Asia

    Proceedings of AWPL-TPLC 2016

    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

    $143.09 USD

  • Knowledge, Proof and Dynamics

    The Fourth Asian Workshop on Philosophical Logic

    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

    $143.09 USD