M. Abrusci and P. Ruet, Non-commutative logic I: the multiplicative fragment, Annals of Pure and Applied Logic, vol.101, issue.1, pp.29-64, 2000.
DOI : 10.1016/S0168-0072(99)00014-7

V. M. Abrusci, Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic, The Journal of Symbolic Logic, vol.55, issue.04, pp.1403-1451, 1991.
DOI : 10.1090/conm/092/1003197

V. , M. Abrusci, and E. Maringelli, A new correctness criterion for cyclic multiplicative proof-nets, Special Issue on Recent Advances in Logical and Algebraic Approaches to Grammar Journal of Logic Language and Information. Kluwer, 1998.

J. Andreoli, An Axiomatic Approach to Structural Rules for Locative Linear Logic, 2001.
DOI : 10.1017/CBO9780511550850.006

N. Belnap, Display logic, Journal of Philosophical Logic, vol.11, issue.4, pp.193-214, 1982.
DOI : 10.1007/BF00284976

F. Bergeron, P. Leroux, and G. Labelle, Combinatorial Species and Tree-Like Structures, of Encyclopaedia of Mathematics and Its Applications, 1997.
DOI : 10.1017/CBO9781107325913

R. Blute, Linear logic, coherence and dinaturality, Theoretical Computer Science, vol.115, issue.1, pp.3-41, 1993.
DOI : 10.1016/0304-3975(93)90053-V

R. Blute, R. Cockett, R. Seely, and T. Trimble, Natural deduction and coherence for weakly distributive categories, Journal of Pure and Applied Algebra, vol.113, issue.3, pp.229-296, 1996.
DOI : 10.1016/0022-4049(95)00159-X

K. Brünnler, Deep Inference and Symmetry in Classical Proofs, 2003.

A. Burroni, T-catégories (catégories dans un triple) Cahiers de Topologie et Géométrie Différentielle, pp.215-321, 1971.

R. Cockett, J. Koslowski, and R. Seely, Introduction to linear bicategories, Mathematical Structures in Computer Science, vol.10, issue.2, 2000.
DOI : 10.1017/S0960129520003047

R. Cockett, J. Koslowski, and R. Seely, Morphisms and modules for poly-bi-categories, Theory and Appl. of Categories, vol.11, issue.2, pp.15-74, 2003.

R. Cockett and R. Seely, Weakly distributive categories, pp.133-173, 1997.

R. Crole, S. Gay, and R. Nagarajan, An internal language for interaction categories, Theory and Formal Methods 1994: Proceedings of the Second Imperial College Department of Computing Workshop, 1995.

. Ph, D. De-groote, . Bechet, . Ch, and . Retoré, A complete axiomatization for the inclusion of series-parallel orders, Rewriting Techniques and Applications, RTA97, number 1232 in Springer Lecture Notes in Comp. Sci, pp.230-240, 1997.

. Ph and . De-groote, Partially commutative linear logic: Sequent calculus and phase semantics, Proof and Linguistic Categories, Applications of Logic to the Analysis and Implementation of Natural Language, Proceedings of the, 1996.

. Ph, F. De-groote, and . Lamarche, Classical non-associative Lambek calculus, Studia Logica, 2002.

A. Demaille, Logiques Linéaires Hybrides et leurs Modalités: théories et Applications, Ecole Nationale Supérieure des Télécommunications, 1999.

E. Getzler and M. M. Kapranov, Cyclic operads and cyclic homology, Topology and Physics for Raoul Bott Proceedings of a Conference in Honor of Raoul Bott's ¢ ¡ ¤ £ ¦ ¥ Birthday, pp.167-201, 1995.

J. Girard, A new constructive logic: classic logic, Mathematical Structures in Computer Science, vol.7, issue.2, pp.255-296, 1991.
DOI : 10.1016/0304-3975(87)90045-4

R. Goré and . Gaggles, Gaggles, Gentzen and Galois: how to display your favourite substructural logic, Logic Journal of IGPL, vol.6, issue.5, pp.669-694, 1998.
DOI : 10.1093/jigpal/6.5.669

R. Goré, Substructural logics on display, Logic Journal of IGPL, vol.6, issue.3, pp.451-504, 1998.
DOI : 10.1093/jigpal/6.3.451

A. Guglielmi, A system of interaction and structure, ACM Transactions on Computational Logic, vol.8, issue.1, 2002.
DOI : 10.1145/1182613.1182614

URL : https://hal.archives-ouvertes.fr/inria-00441214

A. Guglielmi and L. Straßburger, Non-commutativity and MELL in the Calculus of Structures, Lecture Notes in Computer Science, vol.2142, pp.54-68, 2001.
DOI : 10.1007/3-540-44802-0_5

C. Hermida, Representable Multicategories, Advances in Mathematics, vol.151, issue.2, pp.164-225, 2000.
DOI : 10.1006/aima.1999.1877

D. Heylen, Types and Sorts: Resource Logic for Feature Checking, 1999.

A. Kock and G. Reyes, Doctrines in Categorical Logic, Handbook of Mathematical Logic, 1977.
DOI : 10.1016/S0049-237X(08)71104-2

M. Kracht, Power and Weakness of the Modal Display Calculus, Proof Theory of Modal Logics, pp.92-121, 1996.
DOI : 10.1007/978-94-017-2798-3_7

N. Kurtonina and M. Moortgat, Structural control, Specifying Syntactic Structure, pp.75-113, 1997.

Y. Lafont, Interaction nets, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '90, 1990.
DOI : 10.1145/96709.96718

F. Lamarche, Multiplicative linear logics and fibrations. In Category Theory in Computer Science, To appear in Electronic Notes in Theoretical Computer Science, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00100811

F. Lamarche and C. Retoré, Proof nets for the Lambek calculus ? an overview Applications of Logic to the Analysis and Implementation of Natural Language, Proof and Linguistic Categories Proceedings of the 1996 Roma Workshop. Cooperativa Libraria Universitaria Editrice, 1996.

J. Lambek, The mathematics of sentence structure, Amer. Math. Monthly, vol.65, 1958.

J. Lambek, On the calculus of syntactic types, Studies of Language and its Mathematical Aspects, Proc. of the 12th Symp, pp.166-178, 1961.
DOI : 10.1090/psapm/012/9972

J. Lambek, Deductive systems and categories II. Standard constructions and closed categories, Lecture Notes in Mathematics, vol.260, pp.76-122, 1969.
DOI : 10.1007/BFb0079385

J. Lambek, Multicategories revisited, Categories in Computer Science and Logic, pp.217-239, 1987.
DOI : 10.1090/conm/092/1003201

F. W. Lawvere, FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES, Proceedings of the National Academy of Sciences, vol.50, issue.5, 1963.
DOI : 10.1073/pnas.50.5.869

T. Leinster, Operads in Higher Dimensional Category Theory, 2000.

T. Leinster, A survey of the definition of § -category, arXiv.org Mathematics Abstracts, 2001.

S. Lippi, Théorie et Pratique des Réseaux d'Interaction, 2002.

J. L. Loday, La renaissance des opérades, Séminaire Bourbaki Soc. Math. de France, pp.47-74, 1996.

M. Makkai, The multitopic -category of all multitopic -categories, 1999.

G. F. Mascari, Operads, structure and dynamics of processes, 2001.

J. P. May, The Geometry of Iterated Loop Spaces, Lect. Notes. in Math, vol.271, 1972.
DOI : 10.1007/BFb0067491

P. Mellies, A topological correctness criterion for non-commutative linear logic, to appear in: International Summer School on Linear Logic

F. Metayer, Some remarks on cyclic linear logic, Advances in Linear Logic Notes in Theor. Comp. Sci

V. Mogbil and Q. Puite, A bilateral-free notion of modules for non-commutative logic
URL : https://hal.archives-ouvertes.fr/hal-00084758

R. Möhring, Computationally tractable classes of orders, Algorithms and Order, 1989.

M. Moortgat, Categorial type logics, Handbook of Logic and Language, 1997.

M. Moortgat and R. Oehrle, Adjacency, dependency and order, Proceedings of the ninth Amsterdam Colloquium, 1994.

R. Moot, Proof Nets for Linguistic Analysis, 2002.

G. V. Morrill, Type Logical Grammar, Kluwer, 1994.
DOI : 10.1007/978-94-011-1042-6

V. Novàk, Cyclically ordered sets, Czech Math. Journal, vol.32, issue.107, pp.460-473, 1982.

P. W. O-'hearn and D. J. Pym, Abstract, Bulletin of Symbolic Logic, vol.two, issue.02, pp.215-244, 1999.
DOI : 10.1016/0304-3975(93)90181-R

F. Pfenning and J. Polakow, Natural deduction for intuitionistic non commutative linear logic, TLCA 1999, volume 1581 of Lect. Notes in Comp. Sci, 1999.

J. Polakow, Ordered Linear Logic and Applications, 2001.

Q. Puite, Sequents and Link Graphs, 2001.

Q. Puite and R. Moot, Proof nets for the multimodal Lambek calculus, 1999.

D. J. Pym, On bunched predicate logic, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158), pp.183-192, 1999.
DOI : 10.1109/LICS.1999.782614

. Ch and . Retoré, Pomset logic: A non-commutative extension of classical linear logic, Proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA'97, 1997.

R. Routley and R. K. Meyer, The semantics of entailment?II, Journal of Philosophical Logic, vol.16, issue.1, pp.53-73, 1972.
DOI : 10.1007/BF00649991

R. Routley and R. K. Meyer, The semantics of entailment ? III, Journal of Philosophical Logic, vol.16, issue.2, pp.192-208, 1972.
DOI : 10.1007/BF00650498

P. Ruet, Non-commutative logic II: sequent calculus and phase semantics, Mathematical Structures in Computer Science, vol.10, issue.2, pp.277-312, 2000.
DOI : 10.1017/S0960129599003084

R. Street, The role of Michael Batanin???s monoidal globular categories, In Getzler and Kapranov
DOI : 10.1090/conm/230/03340

A. Tiu, Properties of a logical system in the calculus of structures, 2001.

J. Valdes, R. E. Tarjan, and E. L. Lawler, The Recognition of Series Parallel Digraphs, SIAM Journal on Computing, vol.11, issue.2, pp.298-313, 1982.
DOI : 10.1137/0211023

H. Wansing, Sequent Calculi for Normal Modal Propositional Logics, Journal of Logic and Computation, vol.4, issue.2, pp.125-142, 1994.
DOI : 10.1093/logcom/4.2.125

D. N. Yetter, Quantales and (noncommutative) linear logic, The Journal of Symbolic Logic, vol.II, issue.01, pp.41-64, 1990.
DOI : 10.1017/S0305004100065403