1. Do?en, K., P. Schroeder-Heister (eds.), 1993,Substructural Logics, Studies in Logic and Computation, D. Gabbay (ed.), Clarendon Press, Oxford.
2. Girard, J. Y., 1987, ?Linear Logic?,Theoretical Computer Science 50.
3. Hori, R., H. Ono and H. Schellinx, 199x, ?Extending Intuitionistic Linear Logic with Knotted Structural Rules?, to appear inNotre Dame Journal of Formal Logic.
4. Kanazawa, M., 1992, ?The Lambek Calculus Enriched by Additional Connectives?,Journal of Logic, Language and Information (1).
5. Moerdijk, I., 1982, ?Glueing Topoi and Higher Order Disjunction and Existence?,The L. E. J. Brouwer Centenary Symposium, A. S. Troelstra and D. van Dalen (eds), North-Holand.