The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...

New to eBooks.com?

Learn more
Browse our categories
  • Bestsellers - This Week
  • Foreign Language Study
  • Pets
  • Bestsellers - Last 6 months
  • Games
  • Philosophy
  • Archaeology
  • Gardening
  • Photography
  • Architecture
  • Graphic Books
  • Poetry
  • Art
  • Health & Fitness
  • Political Science
  • Biography & Autobiography
  • History
  • Psychology & Psychiatry
  • Body Mind & Spirit
  • House & Home
  • Reference
  • Business & Economics
  • Humor
  • Religion
  • Children's & Young Adult Fiction
  • Juvenile Nonfiction
  • Romance
  • Computers
  • Language Arts & Disciplines
  • Science
  • Crafts & Hobbies
  • Law
  • Science Fiction
  • Current Events
  • Literary Collections
  • Self-Help
  • Drama
  • Literary Criticism
  • Sex
  • Education
  • Literary Fiction
  • Social Science
  • The Environment
  • Mathematics
  • Sports & Recreation
  • Family & Relationships
  • Media
  • Study Aids
  • Fantasy
  • Medical
  • Technology
  • Fiction
  • Music
  • Transportation
  • Folklore & Mythology
  • Nature
  • Travel
  • Food and Wine
  • Performing Arts
  • True Crime
  • Foreign Language Books
Nonclassical mathematical logic

Most popular at the top

  • The Many Valued and Nonmonotonic Turn in Logicby Dov M. Gabbay; John Woods

    Elsevier Science 2007; US$ 285.00

    The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic. These are many-valuedness and non-monotonicity. On the one approach, in deference to vagueness, temporal or quantum indeterminacy or reference-failure, sentences that are classically non-bivalent are... more...

  • Modalityby Joseph Melia

    Taylor and Francis 2014; US$ 29.95

    This introduction to modality places the emphasis on the metaphysics of modality rather than on the formal semetics of quantified modal logic. The text begins by introducing students to the "de re/de dicto" distinction, conventionalist and conceptualist theories of modality and some of the key problems in modality, particularly Quine's criticisms.... more...

  • A Short Introduction to Intuitionistic Logicby Grigori Mints

    Springer 2000; US$ 79.95

    Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs to make the material more accessible. The presentation is based on natural deduction and readers are assumed to be familiar with basic notions of first order logic. more...

  • Intuition and the Axiomatic Methodby Emily Carson; Renate Huber

    Springer 2006; US$ 269.00

    Following developments in modern geometry, logic and physics, many scientists and philosophers in the modern era considered Kant's theory of intuition to be obsolete. This work explores various views of intuition and the axiomatic method, with Kant's approach. It covers logical and non-logical, and systematic issues in mathematics and physics. more...

  • Intensional Mathematicsby S. Shapiro

    Elsevier Science 1985; US$ 72.95

    ``Platonism and intuitionism are rival philosophies of Mathematics, the former holding that the subject matter of mathematics consists of abstract objects whose existence is independent of the mathematician, the latter that the subject matter consists of mental construction... both views are implicitly opposed to materialistic accounts of mathematics... more...

  • Quantification in Nonclassical Logicby Dov M. Gabbay; Dimitrij Skvortsov; Valentin Shehtman

    Elsevier Science 2009; US$ 235.00

    Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy and language in ancient times; they were studied by traditional informal methods until the 20th century. In the last century the tools became highly mathematical, and both modal logic and quantification found numerous applications... more...

  • Non-classical logics, model theory, and computabilityby A.I. Arruda; N. C. A. De Costa; R. Chuaqui

    Elsevier Science 2000; US$ 275.00

    Provability, Computability and Reflection more...

  • Aristotle's Modal Proofsby Adriane Rini

    Springer 2010; US$ 179.00

    Aristotle's modal syllogistic is his study of patterns of reasoning about necessity and possibility. Many scholars think the modal syllogistic is incoherent, a 'realm of darkness'. Others think it is coherent, but devise complicated formal modellings to mimic Aristotle's results. This volume provides a simple interpretation of Aristotle's... more...

  • Multiple-Valued Logicby D. Michael Miller; Mitchell A. Thornton

    Morgan & Claypool Publishers 2007; US$ 40.00

    Multiple Valued Logic: Concepts and Representations begins with a survey of the use ofmultiple-valued logic in several modern application areas including electronic design automation algorithms and circuit design. The mathematical basis and concepts of various algebras and systems of multiple valued logic are provided including comparisons among various... more...

  • Kripke’s Worldsby Olivier Gasquet; Andreas Herzig; Bilal Said; François Schwarzentruber

    Springer 2013; US$ 69.99

    Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible world's model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and doxastic, dynamic, deontic, description logics) and also turned out useful for other nonclassical... more...