Extensions of First-Order Logic

by Maria Manzano

Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs...

• Format: Paperback
• Language: English
• ISBN: 0521019028
• ISBN13: 9780521019026
• Release Date: August 2005
• Publisher: Cambridge University Press
• Length: 412 Pages
• Weight: 1.50 lbs.
• Dimensions: 0.8" x 6.7" x 9.6"