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.
By:
Walter Felscher Imprint: CRC Press Country of Publication: United Kingdom Dimensions:
Height: 229mm,
Width: 152mm,
Weight: 453g ISBN:9780367398576 ISBN 10: 0367398575 Pages: 312 Publication Date:05 September 2019 Audience:
College/higher education
,
Professional and scholarly
,
A / AS level
,
Further / Higher Education
Format:Paperback Publisher's Status: Active