Interpolation and definability: modal and intuitionistic logics
Auteur :
Gabbay, Dov M. / Maksimova, Larisa
Éditeur :
Oxford University Press
ISBN :
9780198511748
Date de publication :
12 mai 2005
Dimensions :
24,2 x 16,3 x 3,3 cm
Poids :
907 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This monograph is on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language.