Research

Breaking paths in atomic flows for classical logic


Reference:

Guglielmi, A., Gundersen, T. and Straburger, L., 2010. Breaking paths in atomic flows for classical logic. In: 2010 25th Annual IEEE Symposium on Logic in Computer Science, LICS. IEEE, pp. 284-293. (Proceedings - Symposium on Logic in Computer Science)

Related documents:

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (149kB) | Preview

    Official URL:

    http://dx.doi.org/10.1109/LICS.2010.12

    Abstract

    This work belongs to a wider effort aimed at eliminating syntactic bureaucracy from proof systems. In this paper, we present a novel cut elimination procedure for classical propositional logic. It is based on the recently introduced atomic flows: they are purely graphical devices that abstract away from much of the typical bureaucracy of proofs. We make crucial use of the path breaker, an atomic-flow construction that avoids some nasty termination problems, and that can be used in any proof system with sufficient symmetry. This paper contains an original 2-dimensional-diagram exposition of atomic flows, which helps us to connect atomic flows with other known formalisms.

    Details

    Item Type Book Sections
    CreatorsGuglielmi, A., Gundersen, T. and Straburger, L.
    DOI10.1109/LICS.2010.12
    DepartmentsFaculty of Science > Computer Science
    Publisher StatementAFII.pdf: © 2010 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works
    StatusPublished
    ID Code22044
    Additional Information25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010. 11-14 July 2010. Edinburgh, UK.

    Export

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...