222
views
0
recommends
+1 Recommend
1 collections
    0
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Finding Unity in Computational Logic

      proceedings-article

      ACM-BCS Visions of Computer Science 2010 (VOCS)

      ACM-BCS Visions of Computer Science 2010

      14 - 16 April 2010

      Computational logic, unity of logic, proof theory, sequent calculus, focused proof systems

      Bookmark

            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.

            Content

            Author and article information

            Contributors
            Conference
            April 2010
            April 2010
            : 1-13
            Affiliations
            [0001]INRIA Saclay – Île-de-France and LIX/École polytechnique

            Route de Saclay, 91128 PALAISEAU Cedex, France
            Article
            10.14236/ewic/VOCS2010.3
            204ce33e-3a60-4673-a7f0-37a321b5bede
            © Dale Miller. Published by BCS Learning and Development Ltd. ACM-BCS Visions of Computer Science 2010, The University of Edinburgh

            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/

            ACM-BCS Visions of Computer Science 2010
            VOCS
            The University of Edinburgh
            14 - 16 April 2010
            Electronic Workshops in Computing (eWiC)
            ACM-BCS Visions of Computer Science 2010
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article