Mechanical logic in threedimensional space
 Responsibility
 Gennaro Auletta.
 Language
 English.
 Publication
 Singapore : Pan Stanford Publishing, [2014].
 Physical description
 vii, 392 pages : illustrations ; 24 cm
Access
Available online
Math & Statistics Library
Stacks
Call number  Status 

QA9.4 .A95 2014  Unknown 
More options
Creators/Contributors
 Author/Creator
 Auletta, Gennaro, 1957 author.
Contents/Summary
 Bibliography
 Includes bibliographical references and indexes.
 Contents

 Structural Description OneDimensional Space TwoDimensional Space ThreeDimensional Space Product Inferences Introduction Derivation of Classical Inferences Through Products Extension of Classical Inferences Through Products Derivation of the Inferences of the First Mixed Mode Through Products Derivation of the Inferences of the Second Mixed Mode Through Products Sums Introduction Classical Inferences Through Sums Extension of Classical Derivation Through Sums First Mixed Mode Through Sums Second Mixed Mode Through Sums Subtractions Introduction Classical Inferences Through Subtractions Extension of Classical Inferences Through Subtraction First Mixed Mode Through Subtractions Second Mixed Mode Through Subtractions Divisions Introduction Classical Derivations Through Divisions Extension of Classical Derivations Through Divisions Inferences of the First Mixed Mode Though Divisions Inferences of the Second Mixed Mode Through Divisions Assessment of All the Previous Inferences General Considerations Product Inferences Sum Inferences Subtraction Inferences Division Inferences Simplified Summary of the Previous Inferences Generalized Representation and Structural Relations Subtractions Divisions Final Considerations Generalized Inferences The Basic Forms of the Previous and New Inferences The Most General Forms of Closed Inference The Results of All the Derivations Cycles of Inferences Open Inferences With Two and More Variables Mereological Inferences and Related Ones Open Inferences and Relations Why Three? Applications Artificial Intelligence Classical Computing Quantum Computing: Raising and Lowering Operators Conclusions Bibliography Author Index Subject Index Color Plate Section.
 (source: Nielsen Book Data)
 Publisher's Summary
 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 threevariables and twopremise inferences. Meriological inferences can also be easily treated in this way. The book covers the following subjects: structural description of space; threevariable inferences through products, sums, subtractions, and divisions; generalization to n variables; relations; and applications.
(source: Nielsen Book Data)
Subjects
Bibliographic information
 Publication date
 2014
 ISBN
 9789814411509 (hbk.)
 9814411507 (hbk.)
 9789814411516 (PDF ebook)