Extensions of First-Order Logic |
|
| Author:
| Manzano, Maria |
| Contribution by:
| van Rijsbergen, C. J.
Abramsky, S.
Aczel, P. H.
de Bakker, J. W.
Gurevich, Y.
Tucker, J. V. |
| Series title: | Cambridge Tracts in Theoretical Computer Science Ser. |
| ISBN: | 978-0-521-01902-6 |
| Publication Date: | Aug 2005 |
| Publisher: | Cambridge University Press
|
| Book Format: | Paperback |
| List Price: | AUD $71.95 |
Book Description:
|
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 work.
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 work.