Highly Influenced

# 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} }

- Published 2003 in Theor. Comput. Sci.
DOI:10.1016/S0304-3975(03)00240-8

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

#### From This Paper

##### Figures, tables, and topics from this paper.

#### Citations

##### Publications citing this paper.

#### References

##### Publications referenced by this paper.

Showing 1-5 of 5 references

Highly Influential