Logic of Arithmetic
standard by CRC Press Books , 05/30/2000
Walter Felscher
Most Recent
Most Recent
Language:
-
-
Available Formats
- Availability
- Priced From ( in USD )
-
Available Formats
-
- Immediate download
- $156.00
- Add to Cart
-
- Printed Edition
- Ships in 1-2 business days
- $171.60
- Add to Cart
Customers Who Bought This Also Bought
-
Lectins and Pathology
Priced From $276.00 -
Polymer Surface Modification: Relevance to Adhesion, Volu...
Priced From $95.94 -
Fluid Frames: Experimental Animation with Sand, Clay, Pai...
Priced From $174.00 -
An Introduction to Acceptance Sampling and SPC with R
Priced From $180.00
About This Item
Full Description
ISBN: 9781482283013
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.
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.
