0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R500 - R1,000 (2)
  • R1,000 - R2,500 (2)
  • R2,500 - R5,000 (6)
  • -
Status
Brand

Showing 1 - 10 of 10 matches in All Departments

Raymond Smullyan on Self Reference (Hardcover, 1st ed. 2017): Melvin Fitting, Brian Rayman Raymond Smullyan on Self Reference (Hardcover, 1st ed. 2017)
Melvin Fitting, Brian Rayman
R2,683 R1,607 Discovery Miles 16 070 Save R1,076 (40%) Ships in 12 - 17 working days

This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan's work on self-reference. It serves not only as a tribute to one of the great thinkers in logic, but also as a celebration of self-reference in general, to be enjoyed by all lovers of this field. Raymond Smullyan, mathematician, philosopher, musician and inventor of logic puzzles, made a lasting impact on the study of mathematical logic; accordingly, this book spans the many personalities through which Professor Smullyan operated, offering extensions and re-evaluations of his academic work on self-reference, applying self-referential logic to art and nature, and lastly, offering new puzzles designed to communicate otherwise esoteric concepts in mathematical logic, in the manner for which Professor Smullyan was so well known. This book is suitable for students, scholars and logicians who are interested in learning more about Raymond Smullyan's work and life.

Beyond Two: Theory and Applications of Multiple-Valued Logic (Hardcover, 2003 ed.): Melvin Fitting, Ewa Orlowska Beyond Two: Theory and Applications of Multiple-Valued Logic (Hardcover, 2003 ed.)
Melvin Fitting, Ewa Orlowska
R4,965 R4,629 Discovery Miles 46 290 Save R336 (7%) Ships in 12 - 17 working days

This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics are treated, as well as applications of many-valued logics to reasoning with fuzzy information. Areas covered include: Algebras of multiple valued logics and their applications, proof theory and automated deduction in multiple valued logics, fuzzy logics and their applications, and multiple valued logics for control theory and rational belief.

First-Order Modal Logic (2nd Revised edition): Melvin Fitting, Richard L. Mendelsohn First-Order Modal Logic (2nd Revised edition)
Melvin Fitting, Richard L. Mendelsohn
R3,860 Discovery Miles 38 600 Ships in 12 - 17 working days

This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.

Justification Logic - Reasoning with Reasons (Hardcover): Sergei Artemov, Melvin Fitting Justification Logic - Reasoning with Reasons (Hardcover)
Sergei Artemov, Melvin Fitting
R3,347 Discovery Miles 33 470 Ships in 12 - 17 working days

Classical logic is concerned, loosely, with the behaviour of truths. Epistemic logic similarly is about the behaviour of known or believed truths. Justification logic is a theory of reasoning that enables the tracking of evidence for statements and therefore provides a logical framework for the reliability of assertions. This book, the first in the area, is a systematic account of the subject, progressing from modal logic through to the establishment of an arithmetic interpretation of intuitionistic logic. The presentation is mathematically rigorous but in a style that will appeal to readers from a wide variety of areas to which the theory applies. These include mathematical logic, artificial intelligence, computer science, philosophical logic and epistemology, linguistics, and game theory.

First-Order Logic and Automated Theorem Proving (Paperback, 2nd ed. 1996. Softcover reprint of the original 2nd ed. 1996):... First-Order Logic and Automated Theorem Proving (Paperback, 2nd ed. 1996. Softcover reprint of the original 2nd ed. 1996)
Melvin Fitting
R2,402 R2,281 Discovery Miles 22 810 Save R121 (5%) Out of stock

There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance. This book is intended for computer scientists. But even this is not precise. Within computer science formal logic turns up in a number of areas, from pro gram verification to logic programming to artificial intelligence. This book is intended for computer scientists interested in automated theo rem proving in classical logic. To be more precise yet, it is essentially a theoretical treatment, not a how-to book, although how-to issues are not neglected. This does not mean, of course, that the book will be of no interest to philosophers or mathematicians. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues. The first item to be addressed is, What are we talking about and why are we interested in it? We are primarily talking about truth as used in mathematical discourse, and our interest in it is, or should be, self evident. Truth is a semantic concept, so we begin with models and their properties. These are used to define our subject.

Beyond Two: Theory and Applications of Multiple-Valued Logic (Paperback, Softcover reprint of hardcover 1st ed. 2003): Melvin... Beyond Two: Theory and Applications of Multiple-Valued Logic (Paperback, Softcover reprint of hardcover 1st ed. 2003)
Melvin Fitting, Ewa Orlowska
R4,322 Discovery Miles 43 220 Out of stock

This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics are treated, as well as applications of many-valued logics to reasoning with fuzzy information. Areas covered include: Algebras of multiple valued logics and their applications, proof theory and automated deduction in multiple valued logics, fuzzy logics and their applications, and multiple valued logics for control theory and rational belief.

Raymond Smullyan on Self Reference (Paperback, Softcover reprint of the original 1st ed. 2017): Melvin Fitting, Brian Rayman Raymond Smullyan on Self Reference (Paperback, Softcover reprint of the original 1st ed. 2017)
Melvin Fitting, Brian Rayman
R2,625 R2,484 Discovery Miles 24 840 Save R141 (5%) Out of stock

This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan's work on self-reference. It serves not only as a tribute to one of the great thinkers in logic, but also as a celebration of self-reference in general, to be enjoyed by all lovers of this field. Raymond Smullyan, mathematician, philosopher, musician and inventor of logic puzzles, made a lasting impact on the study of mathematical logic; accordingly, this book spans the many personalities through which Professor Smullyan operated, offering extensions and re-evaluations of his academic work on self-reference, applying self-referential logic to art and nature, and lastly, offering new puzzles designed to communicate otherwise esoteric concepts in mathematical logic, in the manner for which Professor Smullyan was so well known. This book is suitable for students, scholars and logicians who are interested in learning more about Raymond Smullyan's work and life.

Selected Topics from Contemporary Logics (Paperback): Melvin Fitting Selected Topics from Contemporary Logics (Paperback)
Melvin Fitting
R1,070 Discovery Miles 10 700 Out of stock
Numbers (Paperback): Melvin Fitting, Greer Fitting Numbers (Paperback)
Melvin Fitting, Greer Fitting
R548 Discovery Miles 5 480 Out of stock
Incompletetude Na Terra Dos Conjuntos (Portuguese, Paperback): Melvin Fitting Incompletetude Na Terra Dos Conjuntos (Portuguese, Paperback)
Melvin Fitting; Translated by Jaime Ramos
R557 Discovery Miles 5 570 Out of stock

Apresentam-se os teoremas fundamentais de incompletude e indecidibilidade da logica matematica no contexto da teoria de conjuntos. Os resultados correspondentes para a aritmetica conseguemse obter facilmente a partir destes e sao tambem apresentados. Evita-se, em geral, o recurso a enumeracao de Godel, exceto quando se estabelece uma relacao explicita entre a teoria de conjuntos e a aritmetica. Este livro nao pressupoe muitos conhecimentos previos por parte do leitor. Apenas se pede alguma maturidade matematica, alguma familiaridade com logica formal e que o leitor conheca o teorema da completude, embora nao necessariamente a sua prova. Tudo o resto sera desenvolvido e demonstrado, do Teorema de Tarski ao Segundo Teorema da Incompletude de Godel. Sao propostos ao longo de todo o livro exercicios variados."

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
The Real Cowboys & Aliens - The Coming…
Noe Torres, John Lemay Hardcover R703 Discovery Miles 7 030
Aeromorphosis
Samuel Smith Hardcover R1,145 Discovery Miles 11 450
The Man in the Arena - The Story of an…
Thomas Cooper Hardcover R870 Discovery Miles 8 700
Modern Military Aircraft - Development…
Robert Jackson Paperback R320 Discovery Miles 3 200
The William E. Boeing Story - A Gift of…
David Williams Hardcover R706 Discovery Miles 7 060
Picking Through The Pieces - The Life…
Larry Vance Hardcover R789 Discovery Miles 7 890
Spartan Mosquitoes
Ernest Durwood Scullion Hardcover R808 Discovery Miles 8 080
Pilots
K Terry Cf Bobby K Terry Cfii, Bobby K. Terry Sr. CFII Hardcover R897 Discovery Miles 8 970
Sharks in the Runway - A Seaplane…
Paul W. J. Harding Hardcover R1,006 Discovery Miles 10 060
Georges Guynemer - Knight of the Air
Henry Bordeaux Hardcover R526 Discovery Miles 5 260

 

Partners