# The Leading eBooks Store Online

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

Most popular at the top

#### Intuition and the Axiomatic Method

Springer 2006; US$ 269.00Following 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 Mathematics

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

#### Aristotle's Modal Proofs

Springer 2010; US$ 179.00Aristotle'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 Logic

Morgan & Claypool Publishers 2007; US$ 40.00Multiple 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 Worlds

Springer 2013; US$ 69.99Possible 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...

#### Non-classical logics, model theory, and computability

Elsevier Science 2000; US$ 275.00Provability, Computability and Reflection more...

#### Quantification in Nonclassical Logic

Elsevier Science 2009; US$ 235.00Quantification 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...

#### One Hundred Years of Intuitionism (1907-2007)

Springer 2008; US$ 169.00With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century. This book aims to review and complete the historical account of intuitionism; to present philosophical work on intuitionism; and, to give examples of technical advances and applications of intuitionism. more...

#### The Vocabulary Problem in Indexing and Information Seeking

Morgan & Claypool Publishers 2012; US$ 45.00Compared to binary switching functions, the multiple-valued functions (MV) offer more compact representations of the information content of signals modeled by logic functions and, therefore, their use fits very well in the general settings of data compression attempts and approaches. The first task in dealing with such signals is to provide mathematical... more...

#### Essays on Non-Classical Logic

World Scientific Publishing Company 2001; US$ 113.00This 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...