论文信息 - The semantics and proof theory of linear logic - 字舞流文

The semantics and proof theory of linear logic

[1] H. Schwichtenberg. Proof Theory: Some Applications of Cut-Elimination , 1977 .

[2] Arnon Avron,et al. Relevant entailment—semantics and formal systems , 1984, Journal of Symbolic Logic.

[3] Alasdair Urquhart,et al. The undecidability of entailment and relevant implication , 1984, Journal of Symbolic Logic.

[4] Jean-Yves Girard,et al. Linear Logic , 1987, Theor. Comput. Sci..

[5] M. Nivat. Fiftieth volume of theoretical computer science , 1988 .