Locality for Classical Logic

Preprint, Other literature type English OPEN
Bruennler, Kai;
(2003)

In this paper we will see deductive systems for classical propositional and predicate logic in the calculus of structures. Like sequent systems, they have a cut rule which is admissible. Unlike sequent systems, they drop the restriction that rules only apply to the main... View more
  • References (5)

    [10] Alessio Guglielmi and Lutz Straßburger. Non-commutativity and MELL in the calculus of structures. In L. Fribourg, editor, CSL 2001, volume 2142 of Lecture Notes in Computer Science, pages 54-68. SpringerVerlag, 2001.

    [11] Alessio Guglielmi and Lutz Straßburger. A non-commutative extension of MELL. In Matthias Baaz and Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, volume 2514 of LNAI, pages 231-246. Springer-Verlag, 2002.

    [12] Dale Miller, Gopalan Nadathur, Frank Pfenning, and Andre Scedrov. Uniform proofs as a foundation for logic programming. Annals of Pure and Applied Logic, 51:125-157, 1991.

    [13] Lutz Straßburger. MELL in the calculus of structures. Technical Report WV-2001-03, Dresden University of Technology, 2001. Available at http://www.ki.inf.tu-dresden.de/˜lutz/els.pdf.

    [14] Lutz Straßburger. A local system for linear logic. In Matthias Baaz and Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, volume 2514 of LNAI, pages 388-402. Springer-Verlag, 2002.

  • Similar Research Results (4)
  • Metrics
Share - Bookmark