Mechanical Logic in Three-Dimensional Space

1. Auflage 2013
ISBN: 978-981-4411-50-9
Verlag: Taylor & Francis Ltd (Sales)

Buch, Englisch, 400 Seiten, Format (B × H): 157 mm x 244 mm, Gewicht: 680 g

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.

Zielgruppe

Academic and Postgraduate

Autoren/Hrsg.

Auletta, Gennaro

Fachgebiete

• Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Robotik
• Mathematik | Informatik EDV | Informatik EDV & Informatik Allgemein
• Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik

Inhaltsverzeichnis

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.

Über Autor(innen)

Gennaro Auletta