The Leading eBooks Store Online

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

New to

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

  • Aristotle's Modal Proofsby Adriane Rini

    Springer Netherlands 2010; US$ 179.00

    Aristotle?s modal syllogistic is his study of patterns of reasoning about necessity and possibility. This volume provides a simple interpretation of Aristotle?s modal syllogistic using standard predicate logic, making it accessible to a wide range of readers. more...

  • Essays on Non-Classical Logicby Heinrich Wansing

    World Scientific Publishing Company 2001; US$ 113.00

    This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence. The problems addressed range from methodological issues in paraconsistent and deontic logic to the revision theory of truth and... more...

  • Function Algebras on Finite Setsby Dietlinde Lau

    Springer Berlin Heidelberg 2006; US$ 179.00

    Functions which are defined on finite sets occur in almost all fields of mathematics. For more than 80 years algebras whose universes are such functions (so-called function algebras), have been intensively studied. This book gives a broad introduction to the theory of function algebras and leads to the cutting edge of research. To familiarize the... 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...

  • Intuition and the Axiomatic Methodby Emily Carson; Renate Huber

    Springer Netherlands 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. But this only represents one side of the story concerning Kant, intuition and twentieth century science. Several prominent mathematicians and physicists were convinced that the formal... more...

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

    Springer Basel 2013; US$ 69.99

    Possible world models were introduced by Saul Kripke in the early 1960s. Basically, a possible worlds model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics: logics of necessity and possibility (alethic logics), logics of time (temporal logics), logics of knowledge and belief (epistemic... more...

  • Many-Dimensional Modal Logicsby A. Kurucz; F. Wolter; M. Zakharyaschev; Dov M. Gabbay

    Elsevier Science 2003; US$ 225.00

    Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions,... more...

  • Many-values logicsby J. Barkley J. Rosser; Atwell R. Turoutte

    Elsevier Science 2000; US$ 275.00

    Provability, Computability and Reflection 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...

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