Finding Unity in Computational Logic

Dale Miller 1, 2
1 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : While logic was once developed to serve philosophers and mathematicians, it is increasingly serving the varied needs of computer scientists. In fact, recent decades have witnessed the creation of the new discipline of Computational Logic. While Computation Logic can claim involvement in diverse areas of computing, little has been done to systematize the foundations of this new discipline. Here, we envision a unity for Computational Logic organized around the proof theory of the sequent calculus: recent results in the area of focused proof systems will play a central role in developing this unity.
Type de document :
Communication dans un congrès
ACM-BCS Visions of Computer Science, 2010, Edinburgh, United Kingdom. 2010
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00772557
Contributeur : Dale Miller <>
Soumis le : jeudi 10 janvier 2013 - 17:09:10
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14
Document(s) archivé(s) le : jeudi 11 avril 2013 - 04:07:51

Fichier

unity2010.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00772557, version 1

Collections

Citation

Dale Miller. Finding Unity in Computational Logic. ACM-BCS Visions of Computer Science, 2010, Edinburgh, United Kingdom. 2010. 〈hal-00772557〉

Partager

Métriques

Consultations de la notice

229

Téléchargements de fichiers

151