Finding Unity in Computational Logic - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Finding Unity in Computational Logic


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.
Fichier principal
Vignette du fichier
unity2010.pdf (136.76 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00772557 , version 1 (10-01-2013)


  • HAL Id : hal-00772557 , version 1


Dale Miller. Finding Unity in Computational Logic. ACM-BCS Visions of Computer Science, 2010, Edinburgh, United Kingdom. ⟨hal-00772557⟩
146 View
174 Download


Gmail Facebook X LinkedIn More