The Leading eBooks Store Online
3,508,729 members ⚫ 2,065,349 ebooks
New to eBooks.com?Learn more
- Bestsellers - This Week
- Foreign Language Study
- Bestsellers - Last 6 months
- Graphic Books
- Health & Fitness
- Political Science
- Biography & Autobiography
- Psychology & Psychiatry
- Body Mind & Spirit
- House & Home
- Business & Economics
- Children's & Young Adult Fiction
- Juvenile Nonfiction
- Language Arts & Disciplines
- Crafts & Hobbies
- Science Fiction
- Current Events
- Literary Collections
- Literary Criticism
- Literary Fiction
- Social Science
- The Environment
- Sports & Recreation
- Family & Relationships
- Study Aids
- Folklore & Mythology
- Food and Wine
- Performing Arts
- True Crime
- Foreign Language Books
- 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...
- Morgan & Claypool Publishers 2012; US$ 36.00
Compared 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...
- Springer Netherlands 2010; US$ 209.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...
- 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...
- Birkhäuser Basel 2008; US$ 169.00
Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and its views on logic have also notably become important with the development of theoretical computer science. This book reviews and completes the historical account of intuitionism. It also presents recent philosophical work on intuitionism and gives examples... more...
- 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...
- 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...
- 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...
- Springer US 2006; Not Available
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, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading... more...
- 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...