LKQ and LKT : Sequent calculi for second order logic based upon dual linear decompositions of classical implication

@inproceedings{Danos1998LKQAL,
  title={LKQ and LKT : Sequent calculi for second order logic based upon dual linear decompositions of classical implication},
  author={Vincent Danos and Jean-Baptiste Joinet and Harold Schellinx},
  year={1998}
}

From This Paper

Figures, tables, and topics from this paper.
56 Citations
10 References
Similar Papers

References

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

LKT and -calculus

  • V. Danos, Joinet, J.-B., H. Schellinx
  • Manuscript.
  • 1993
Highly Influential
11 Excerpts

The structure of exponentials: uncovering the dynamics of linear logic proofs

  • V. Danos, Joinet, J.-B., H. Schellinx
  • Gottlob, G., Leitsch, A., and Mundici, D…
  • 1993
Highly Influential
6 Excerpts

The Noble Art of Linear Decorating

  • H. Schellinx
  • ILLC Dissertation Series, 1994-1. Institute for…
  • 1994
3 Excerpts

Etude de la normalisation du calcul des s equents classique a travers la logique lin eaire

  • Joinet, J.-B.
  • PhD thesis, Universit
  • 1993

A new constructive logic: classical logic

  • Girard, J.-Y.
  • Mathemathical Structures in Computer Science, 1(3…
  • 1991

Proofs and Types

  • Girard, J.-Y., Y. Lafont, P. Taylor
  • Cambridge Tracts in Theoretical Computer Science…
  • 1988
2 Excerpts

The formulae-as-types notion of construction

  • W. A. Howard
  • Seldin, J. P. and Hindley, J. R., editors, To H.B…
  • 1980
1 Excerpt

Similar Papers

Loading similar papers…