MELL in the calculus of structures

@article{Straburger2003MELLIT,
  title={MELL in the calculus of structures},
  author={Lutz Stra\ssburger},
  journal={Theor. Comput. Sci.},
  year={2003},
  volume={309},
  pages={213-285}
}
Gentzen’s sequent calculus is a tool to study properties of logics independently of semantics. The main property is cut-elimination which entails the subformula property and consistency. It is also the basis of methods of automated deduction. Although the sequent calculus is very appropriate for classical logic, it raises some concerns in dealing with more refined logics like linear logic. An example is the global behaviour of the promotion rule. The calculus of structures is a recent… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-5 of 5 references

Proof Theory and Logical Complexity, Volume I, volume 1 of Studies in Proof Theory. Bibliopolis, edizioni di filosofia e scienze

  • Jean-Yves Girard
  • 1987
2 Excerpts

The mathematics of sentence structure

  • Joachim Lambek
  • American Mathematical Monthly,
  • 1958
1 Excerpt

Untersuchungen über das logische Schließen

  • Gerhard Gentzen
  • II.Mathematische Zeitschrift,
  • 1935
2 Excerpts

Similar Papers

Loading similar papers…