\begin{thebibliography}{10}

\bibitem{Bellin:Subnets}
G.~Bellin.
\newblock Subnets of proof-nets in multiplicative linear logic with {MIX}.
\newblock {\em Mathematical Structures in Computer Science}, 7(6):663--669,
  1997.

\bibitem{Belnap82JPL}
N.~D. Belnap.
\newblock Display logic.
\newblock {\em Journal of Philosophical Logic}, 11:375--417, 1982.

\bibitem{belnap-linear}
N.~D. Belnap.
\newblock Linear logic displayed.
\newblock {\em Notre Dame Journal of Formal Logic}, 31:15--25, 1990.

\bibitem{Bierman:Note}
G.~M. Bierman.
\newblock A note on full intuitionistic linear logic.
\newblock {\em APAL}, 79(3):281--287, 1996.

\bibitem{Brauner:Cut}
T.~Br\"{a}uner and V.~de~Paiva.
\newblock Cut-elimination for full intuitionistic linear logic.
\newblock Technical Report RS-96-10, Basic Research in Computer Science, 1996.

\bibitem{Brauner:Formulation}
T.~Br\"{a}uner and V.~de~Paiva.
\newblock A formulation of linear logic based on dependency-relations.
\newblock In {\em CSL '97}, volume 1414 of {\em LNCS}, pages 129--148, 1997.

\bibitem{Brunnler09AML}
K.~Br{\"u}nnler.
\newblock Deep sequent systems for modal logic.
\newblock {\em Archive for Mathematical Logic}, 48(6):551--577, 2009.

\bibitem{Chang:Judgmental}
B.-Y.~E. Chang, K.~Chaudhuri, and F.~Pfenning.
\newblock A judgmental analysis of linear logic.
\newblock Technical Report CMU-CS-03-131R, Carnegie Mellon University, 2003.

\bibitem{Chaudhuri:Inverse}
K.~Chaudhuri.
\newblock The inverse method for intuitionistic linear logic.
\newblock Technical Report CMU-CS-03-140, Carnegie Mellon University, 2004.

\bibitem{Cockett:Weakly}
J.~Cockett and R.~Seely.
\newblock Weakly distributive categories.
\newblock In {\em Applications of Categories in Computer Science}, volume 177
  of {\em London Math.\ Soc.\ Lect.\ Note Series}, pages 45--65, 1992.

\bibitem{Cockett:Proof}
J.~Cockett and R.~Seely.
\newblock Proof theory for full intuitionistic linear logic, bilinear logic,
  and {MIX} categories.
\newblock {\em Theory and Applications of Categories}, 3(5):85--131, 1997.

\bibitem{dePaiva:Parigot}
V.~de~Paiva and E.~Ritter.
\newblock A {P}arigot-style linear $\lambda$-calculus for full intuitionistic
  linear logic.
\newblock {\em Theory and Applications of Categories}, 17(3):30--48, 2006.

\bibitem{Dosen:Proof}
K.~Do\v{s}en and Z.~Petri\'{c}.
\newblock {\em Proof-Theoretical Coherence}, volume~1 of {\em Studies in
  Logic}.
\newblock College Publications, 2004.

\bibitem{DBLP:conf/obpdc/GalmicheB95}
D.~Galmiche and E.~Boudinet.
\newblock Proofs, concurrent objects, and computations in a {FILL} framework.
\newblock In {\em OBPDC}, volume 1107 of {\em LNCS}, pages 148--167. Springer,
  1995.

\bibitem{Gore:SLD}
R.~Gor{\'e}.
\newblock Substructural logics on display.
\newblock {\em Log. J. IGPL}, 6(3):451--504, 1998.

\bibitem{Gore10AiML}
R.~Gor{\'e}, L.~Postniece, and A.~Tiu.
\newblock Cut-elimination and proof search for bi-intuitionistic tense logic.
\newblock In {\em Advances in Modal Logic}, pages 156--177. College
  Publications, 2010.

\bibitem{Gore11LMCS}
R.~Gor{\'e}, L.~Postniece, and A.~Tiu.
\newblock On the correspondence between display postulates and deep inference
  in nested sequent calculi for tense logics.
\newblock {\em LMCS}, 7(2), 2011.

\bibitem{Grishin:Generalisation}
V.~N. Grishin.
\newblock On a generalization of the {A}jdukiewicz-{L}ambek system.
\newblock In {\em Studies in Nonclassical Logics and Formal Systems}, pages
  315--343. Nauka, 1983.

\bibitem{Hyland:Full}
M.~Hyland and V.~de~Paiva.
\newblock Full intuitionistic linear logic (extended abstract).
\newblock {\em Ann. Pure Appl. Logic}, 64(3):273--291, 1993.

\bibitem{kashima-cut-free-tense}
R.~Kashima.
\newblock Cut-free sequent calculi for some tense logics.
\newblock {\em Studia Log.}, 53:119--135, 1994.

\bibitem{kracht-power}
M.~Kracht.
\newblock Power and weakness of the modal display calculus.
\newblock In H.~Wansing, editor, {\em Proof Theory of Modal Logics}, pages
  92--121. Kluwer, 1996.

\bibitem{Lincoln94}
P.~Lincoln and T.~C. Winkler.
\newblock Constant-only multiplicative linear logic is {NP}-complete.
\newblock {\em TCS}, 135(1):155--169, 1994.

\bibitem{Martini:Experiments}
S.~Martini and A.~Masini.
\newblock Experiments in linear natural deduction.
\newblock {\em TCS}, 176(1-2):159--173, 1997.

\bibitem{DBLP:journals/jphil/Moortgat09}
M.~Moortgat.
\newblock Symmetric categorial grammar.
\newblock {\em J. Philosophical Logic}, 38(6):681--710, 2009.

\bibitem{Schellinx:Some}
H.~Schellinx.
\newblock Some syntactical observations on linear logic.
\newblock {\em JLC}, 1(4):537--559, 1991.

\bibitem{DBLP:journals/logcom/Wansing94}
H.~Wansing.
\newblock Sequent calculi for normal modal proposisional logics.
\newblock {\em JLC}, 4(2):125--142, 1994.

\end{thebibliography}
