Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Finding Unity and Computational Logic

    ACM-BCS Visions of Computer Science 2010

    International Academic Research Conference

    14 - 16 April 2010, The University of Edinburgh


    Dale Miller


    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 organised 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.


    PDF filePDF Version of this Paper (155kb)

    ACM Logo

    BCS logo