Mechanical Logic in Three-Dimensional Space

Gennaro Auletta (Autor)

Buch | Hardcover

400 Seiten

2013
Pan Stanford Publishing Pte Ltd (Verlag)
978-981-4411-50-9 (ISBN)

Artikel merken

The book explores how build a mechanical inferences by making use of arithmetic operations on a string of numbers representing statements. In this way logic is reduced to a branch of the combinatory calculus. It covers the field of traditional logic by showing that any kind of inference can be mechanically reduced to three-variables and two-premise inferences. Meriological inferences can also be easily treated in this way. The book covers the following subjects: structural description of space; three-variable inferences through products, sums, subtractions, and divisions; generalization to n variables; relations; and applications.

Gennaro Auletta

Structural Description. Product Inferences. Sums. Subtractions. Divisions. Assessment of All the Previous Inferences. Generalized Representation and Structural Relations. Generalized Inferences. Applications. Conclusions. Bibliography. Author Index. Subject Index.

Erscheint lt. Verlag	24.10.2013
Zusatzinfo	8 Illustrations, color; 23 Illustrations, black and white
Verlagsort	Singapore
Sprache	englisch
Maße	152 x 229 mm
Gewicht	680 g
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	981-4411-50-7 / 9814411507
ISBN-13	978-981-4411-50-9 / 9789814411509
Zustand	Neuware