Blog
About

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

      Finding Unity in Computational Logic

      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

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          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.

          Related collections

          Most cited references 13

          • Record: found
          • Abstract: not found
          • Article: not found

          Linear logic

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Uniform proofs as a foundation for logic programming

              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              3. Investigations into Logical Deduction

              (1969)
                Bookmark

                Author and article information

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

                Route de Saclay, 91128 PALAISEAU Cedex, France
                Article
                10.14236/ewic/VOCS2010.3
                © 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