0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematical modelling

Buy Now

Fragments of First-Order Logic (Hardcover) Loot Price: R4,191
Discovery Miles 41 910
Fragments of First-Order Logic (Hardcover): Ian Pratt-Hartmann

Fragments of First-Order Logic (Hardcover)

Ian Pratt-Hartmann

Series: Oxford Logic Guides

 (sign in to rate)
Loot Price R4,191 Discovery Miles 41 910 | Repayment Terms: R393 pm x 12*

Bookmark and Share

Expected to ship within 12 - 19 working days

A sentence of first-order logic is satisfiable if it is true in some structure, and finitely satisfiable if it is true in some finite structure. The question arises as to whether there exists an algorithm for determining whether a given formula of first-order logic is satisfiable, or indeed finitely satisfiable. This question was answered negatively in 1936 by Church and Turing (for satisfiability) and in 1950 by Trakhtenbrot (for finite satisfiability).In contrast, the satisfiability and finite satisfiability problems are algorithmically solvable for restricted subsets--or, as we say, fragments--of first-order logic, a fact which is today of considerable interest in Computer Science. This book provides an up-to-date survey of the principal axes of research, charting the limits of decision in first-order logic and exploring the trade-off between expressive power and complexity of reasoning. Divided into three parts, the book considers for which fragments of first-order logic there is an effective method for determining satisfiability or finite satisfiability. Furthermore, if these problems are decidable for some fragment, what is their computational complexity? Part I focusses on fragments defined by restricting the set of available formulas. Topics covered include the Aristotelian syllogistic and its relatives, the two-variable fragment, the guarded fragment, the quantifier-prefix fragments and the fluted fragment. Part II investigates logics with counting quantifiers. Starting with De Morgan's numerical generalization of the Aristotelian syllogistic, we proceed to the two-variable fragment with counting quantifiers and its guarded subfragment, explaining the applications of the latter to the problem of query answering in structured data. Part III concerns logics characterized by semantic constraints, limiting the available interpretations of certain predicates. Taking propositional modal logic and graded modal logic as our cue, we return to the satisfiability problem for two-variable first-order logic and its relatives, but this time with certain distinguished binary predicates constrained to be interpreted as equivalence relations or transitive relations. The work finishes, slightly breaching the bounds of first-order logic proper, with a chapter on logics interpreted over trees.

General

Imprint: Oxford UniversityPress
Country of origin: United Kingdom
Series: Oxford Logic Guides
Release date: 2023
Authors: Ian Pratt-Hartmann (Senior Lecturer, University of Manchester Professor of Mathematical Sciences, University of Opole)
Dimensions: 234 x 156mm (L x W)
Format: Hardcover
Pages: 528
ISBN-13: 978-0-19-286796-4
Categories: Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematical modelling
Promotions
LSN: 0-19-286796-2
Barcode: 9780192867964

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Quantifying and Managing Soil Functions…
Donald L. Sparks Hardcover R4,484 Discovery Miles 44 840
Mathematical Modelling - Education…
C Haines, P. Galbraith, … Paperback R2,562 R2,416 Discovery Miles 24 160
Modelling and Control in Biomedical…
David Dagan Feng, Janan Zaytoon Paperback R2,527 R2,390 Discovery Miles 23 900
Process Modelling and Model Analysis…
Ian T. Cameron, Katalin M. Hangos Hardcover R3,747 Discovery Miles 37 470
Mathematical Modelling
John Berry, Ken Houston Paperback R678 Discovery Miles 6 780
Tax Policy and Uncertainty - Modelling…
Christopher Ball, John Creedy, … Hardcover R2,791 Discovery Miles 27 910
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R95 R90 Discovery Miles 900
A Discipline of Mathematical Systems…
Matthew Collinson, Brian Monahan, … Paperback R953 Discovery Miles 9 530
Models and World Making - Bodies…
Annabel Jane Wharton Hardcover R2,218 Discovery Miles 22 180
Operations Research: Introduction To…
Richard Johannes Boucherie, Henk Tijms, … Paperback R1,714 Discovery Miles 17 140
Stochastic Integral And Differential…
Santanu Saha Ray Hardcover R3,100 Discovery Miles 31 000
Spatial Dynamics Models In The Life…
Frederic Y.M. Wan Hardcover R3,589 Discovery Miles 35 890

See more

Partners