Extensions of First-Order Logic

Zusammenfassung 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. Inhaltsverzeichnis 1. Standard second order logic; 2. Deductive calculi; 3. Categoricity of second order peano arithmetic; 4. Frames and general structures; 5. Type theory; 6. Many-sorted logic; 7. Applying MSL.

Détails du produit

• Auteurs: Maria Manzano, Maria (Universitat De Barcelona) Manzano
• Collaboration: Samson Abramsky (Editeur), C. J. van Rijsbergen (Editeur), C. J. van Rijsbergen (Editeur)
• Edition: Cambridge University Press ELT
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 22.08.2005
• EAN: 9780521019026
• ISBN: 978-0-521-01902-6
• Pages: 412
• Thème: Cambridge Tracts in Theoretica
• Catégorie: Sciences naturelles, médecine, informatique, technique > Mathématiques > Bases