Finding Unity in Computational Logic

Dale Miller 1, 2
1 PARSIFAL - Proof search and reasoning with logic specifications
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
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 : mercredi 14 novembre 2018 - 16:14:01
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

283

Téléchargements de fichiers

163