Titre original :
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
Contenu du livre :
Ce manuel propose une introduction détaillée à la méthodologie et aux applications des calculs séquentiels en logique propositionnelle. Contrairement à d'autres textes traitant de la théorie de la preuve, l'accent est mis sur l'illustration de l'utilisation des calculs séquentiels pour prouver un large éventail de résultats métathéoriques. La présentation est élémentaire et autonome, tous les détails techniques étant à la fois formellement énoncés et expliqués de manière informelle. De nombreuses preuves sont élaborées pour démontrer les méthodes de démonstration de résultats importants, tels que le théorème d'élimination des coupures, la complétude, la décidabilité et l'interpolation. D'autres preuves sont présentées avec des parties laissées comme exercices pour les lecteurs, leur permettant de pratiquer les techniques du calcul séquentiel.
Après une brève introduction à la logique propositionnelle classique, le texte explore trois variantes du calcul séquentiel et leurs caractéristiques et applications. Les autres chapitres montrent ensuite comment les calculs séquentiels peuvent être étendus, modifiés et appliqués à des logiques non classiques, y compris les logiques modales, intuitionnistes, sous-structurelles et multivaluées.
Séquents et arbres est destiné aux étudiants en logique de deuxième et troisième cycles qui suivent des cours sur la théorie de la preuve et son application aux logiques non-classiques. Il intéressera également les chercheurs en informatique et les philosophes.
Autres informations sur le livre :
| ISBN : | 9783030571443 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Relié |
| Année de publication : | 2020 |
| Nombre de pages : | 345 |
Achat:
Actuellement disponible, en stock.
