|
Titre :
|
Logique
|
|
Titre de série :
|
Logique, 3
|
|
Auteurs :
|
Paul Gochet, Auteur ;
Pascal Gribomont, Auteur ;
André Thayse, Auteur
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Paris : Hermès science publications, 2000
|
|
Collection :
|
Langage, cognition, calcul
|
|
ISBN/ISSN/EAN :
|
978-2-7462-0131-6
|
|
Format :
|
392 p. / 24 x 16 cm
|
|
Note générale :
|
Bibliogr.
|
|
Langues:
|
Français
|
|
Index. décimale :
|
006.1
|
|
Mots-clés:
|
logique
;
intelligence artificielle
|
|
Résumé :
|
Présentation des systèmes axiomatiques des principales logiques modales pour le calcul de propositions et de prédicats et des sémantiques associées. Développement de la métathéorie de ces systèmes, description de preuves de complétude et de la théorie de la correspondance. Explication de l'algorithme de Sahlqvist-van Benthem. Discussion des méthodes de preuve exécutables par ordinateur.
|
