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.
Produkteigenschaften
- Artikelnummer: 9780367398576
- Medium: Buch
- ISBN: 978-0-367-39857-6
- Verlag: CRC Press
- Erscheinungstermin: 05.09.2019
- Sprache(n): Englisch
- Auflage: 1. Auflage 2019
- Produktform: Kartoniert
- Gewicht: 408 g
- Seiten: 312
- Format (B x H x T): 150 x 226 x 18 mm
- Ausgabetyp: Kein, Unbekannt