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
Sprache
Verlagsort
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Dateigröße
ISBN-13
978-981-4411-51-6 (9789814411516)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
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.
