Mechanical logic in three-dimensional space /

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

Ausführliche Beschreibung

Gespeichert in:
1. Verfasser:
Auletta, Gennaro
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Boca Raton, FL : CRC Press : Pan Stanford Publishing, [2013]
Ausgabe:
1st edition
Zusammenfassung:
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
Umfang:
1 online resource (396 p.)
text file
Anmerkungen:
Description based upon print version of record.
Anmerkungen:
English
Bibliografie:
Includes bibliographical references and indexes.
ISBN:
9780429072307
0429072309
9789814411509
9814411507
Schlagworte:
Mechanics.
Bezugswerke:
Links: