Extensions of first-order logic
Auteur :
Manzano, Maria
Éditeur :
Cambridge University Press
ISBN :
9780521019026
Date de publication :
22 août 2005
Dimensions :
24,4 x 17,0 x 2,1 cm
Poids :
645 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.