Logic Of Arithmetic (Lectures On Mathematical Logic)

For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of order-plus-successor and of order-plus-addition (Pressburger arithmetic). It makes use of an algorithm eliminating quantifiers which, in turn, is also applied to obtain consistency proofs for these fragments.

• | Author: Walter Felscher
• | Publisher: Crc Press
• | Publication Date: Sep 05, 2019
• | Number of Pages: 312 pages
• | Language: English
• | Binding: Paperback
• | ISBN-10: 0367398575
• | ISBN-13: 9780367398576