Fibring logics
Auteur :
Gabbay, Dov M.
Éditeur :
Oxford University Press
ISBN :
9780198503811
Date de publication :
5 nov. 1998
Dimensions :
24,1 x 16,1 x 3,0 cm
Poids :
887 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Modern applications of logic, in mathematics, theoretical computer science, and linguistics, require combined systems involving many different logics working together. In this book the author offers a basic methodology for combining - or fibring - systems. This means that many existing complex systems can be broken down into simpler components, hence making them much easier to manipulate.