Logic of Arithmetic

By Walter Felscher

Book Overview

For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulaas. 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.

• Format: Paperback
• Language: English
• ISBN: 0367398575
• ISBN13: 9780367398576
• Release Date: September 2019
• Publisher: CRC Press
• Length: 312 Pages
• Weight: 0.90 lbs.
• Dimensions: 0.7" x 5.9" x 8.9"