What's new in Linear Logic

This page oulines the references added to the bibliography in the last three months. Any corrections, updates, comments, suggestion, new entries, new URLs for papers, etc. are very much appreciated.

Last modified: Thu May 7 10:05:50 EDT 1998

  1. Torben Braüner. The Girard translation extended with recursion. In L. Pacholski and J. Tiuryn, editors, Proceedings of the 1994 Annual Conference of the European Association for Computer Science Logic, pages 31-45, Kazimierz, Poland, September 1994. Springer Verlag, LNCS 933. Short version as Technical Report BRICS-RS-95-13, BRICS, Aarhus, Danemark. Available in DVI and PostScript formats.

  2. Torben Braüner. A model of intuitionistic affine logic from stable domain theory. In S. Abiteboul and E. Shamir, editors, Proceedings of the 21st International Colloquium on Automata, Languages, and Programming, pages 340-351, Jerusalem, Israel, July 1994. Springer Verlag, LNCS 820. Short version as Technical Report BRICS-RS-94-27, BRICS, Aarhus, Danemark. Available in DVI and PostScript formats.

  3. Torben Braüner. An Axiomatic Approach to Adequacy. PhD thesis, BRICS, Aarhus, Danemark, November 1996. Also available as Technical Report BRICS-DS-96-4, BRICS, Aarhus, Danemark. Available in PostScript format.

  4. Torben Braüner. A simple adequate categorical model for PCF. In R. Hindley, editor, Proceedings of the 3rd International Converence on Typed Lambda Calculi and Applications, Nancy, France, 1997. To appear.

  5. Torben Braüner. A general adequacy result for a linear functional language. Theoretical Computer Science, To appear. Available in DVI and PostScript formats.

  6. Torben Braüner and Valeria de Paiva. Cut-elimination for full intuitionistic linear logic. Technical Report BRICS-RS-96-10, BRICS, Aarhus, Danemark, 1996. Also available as Technical Report 395, Computer Laboratory, University of Cambridge. Available in DVI and PostScript formats.

  7. M. D'Agostino and Dov M. Gabbay. Fibred tableaux for multi-implication logics. In P. Miglioli, U. Moscato, D. Mundici, and M. Ornaghi, editors, TABLEAUX '96. Proceedings of the 5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, pages 1-35. Springer-Verlag LNAI 1071, 1996.

  8. Marcello D'Agostino and Dov M. Gabbay. A generalization of analytic deduction via labelled deductive systems I: Basic substructural logics. Journal of Automated Reasoning, 13:243-281, 1994.

  9. Marcello D'Agostino, Dov M. Gabbay, and Alessandra Russo. Grafting modalities onto substructural implication logics. To appear in Studia Logica, special issue on ``Combining Logics'', n. 4 and 5, 1997, 1997.

  10. Dale Miller. A multiple-conclusion specification logic. Theoretical Computer Science, 165(1):201-232, 1996. Available in DVI format.

  11. Sara Negri. Semantical observations on the embedding of intuitionistic logic into intuitionistic linear logic. Mathematical Structures in Computer Science, 5:41-68, 1995.

  12. Mario Piazza. Derivability of Structural Rules in the Multiplicative Fragment of Linear Logic. PhD thesis, University of Genoa, 1995. (In Italian).

  13. Mario Piazza and M. Castellan. Quantales and structural rules. Journal of Logic and Computation, 6(5):709-724, 1996.

Iliano Cervesato (iliano@cs.cmu.edu)