Finding Unity in Computational Logic

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.

Contributors

Dale Miller

Conference

Publication date: April 2010

Publication date (Print): April 2010

Pages: 1-13

Affiliations

INRIA Saclay – Île-de-France and LIX/École polytechnique

Route de Saclay, 91128 PALAISEAU Cedex, France

Article

DOI: 10.14236/ewic/VOCS2010.3

Copyright statement: © Dale Miller. Published by BCS Learning and Development Ltd. ACM-BCS Visions of Computer Science 2010, The University of Edinburgh

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: ACM-BCS Visions of Computer Science 2010

Conference acronym: VOCS

Conference number:

Conference location: The University of Edinburgh

Conference date: 14 - 16 April 2010

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: ACM-BCS Visions of Computer Science 2010

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/VOCS2010.3

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing