\begin{thebibliography}{10}

\bibitem{Blackburn:ILD}
Patrick Blackburn.
\newblock Internalizing labelled deduction.
\newblock {\em Journal of Logic Computation}, 10(1):137--168, 2000.

\bibitem{Blackburn:Manifesto}
Patrick Blackburn.
\newblock Representation, reasoning, and relational structures: a hybrid logic
  manifesto.
\newblock {\em Journal of the Interest Group in Pure Logic}, 8(3):339--365,
  2000.

\bibitem{Croft:1990}
William Croft.
\newblock {\em Typology and Universals}.
\newblock Cambridge Textbooks in Linguistics. Cambridge University Press,
  Cambridge, United Kingdom, 1990.

\bibitem{Dowty:1989}
David~R. Dowty.
\newblock On the semantic content of the notion ``thematic role''.
\newblock In Giennaro Chierchia, Barbara~H. Partee, and Raymond Turner,
  editors, {\em Properties, Types, and Meaning: Volume II, Semantic Issues},
  volume~39 of {\em Studies in Linguistics and Philosophy}, pages 69--129.
  Kluwer Academic Publishers, Dordrecht, Boston, London, 1989.

\bibitem{Hadacz:TSD99}
Leo Hadacz.
\newblock Semantic inference in the human-machine communication.
\newblock In {\em Proceedings of Text, Speech and Dialogue '99}, Czech
  Republic, 1999. Springer Verlag.

\bibitem{Hepple:IRCS}
Mark Hepple.
\newblock A general framework for hybrid substructural categorial logics.
\newblock Technical Report 94-14, IRCS, University of Pennsylvania,
  Philadelphia PA, September 1994.

\bibitem{Kruijff:DGLintro}
Geert-Jan~M. Kruijff.
\newblock Dependency grammar logic: An introduction.
\newblock Available from http://www.cogsci.ed.ac.uk/\~{}gj/, November 1999.

\bibitem{GJ:diss}
Geert-Jan~M. Kruijff.
\newblock {\em A Categorial Architecture of Informativity}.
\newblock PhD thesis, Institute of Formal and Applied Linguistics (\'UFAL),
  Faculty of Mathematics and Physics, Charles University, Prague, Czech
  Republic, f.c.

\bibitem{Materna:1998}
Pavel Materna.
\newblock {\em Concepts and objects}, volume~63 of {\em Acta Philosophica
  Fennica}.
\newblock Philosophical Society of Finland, Helsinki, Finland, 1998.

\bibitem{Materna/etal:1987}
Pavel Materna, Eva Haji\v{c}ov\'a, and Petr Sgall.
\newblock Redundant answers and topic-focus articulation.
\newblock {\em Linguistics and Philosophy}, 10:101--113, 1987.

\bibitem{Moortgat:1996}
Michael Moortgat.
\newblock Categorial type logics.
\newblock In Johan van Benthem and Alice ter Meulen, editors, {\em Handbook of
  Logic and Language}. Elsevier Science B.V., Amsterdam New York etc., 1997.

\bibitem{Morrill:1994}
Glyn~V. Morrill.
\newblock {\em Type {L}ogical {G}rammar: {C}ategorial {L}ogic of {S}igns}.
\newblock Kluwer Academic Publishers, Dordrecht, Boston, London, 1994.

\bibitem{Oehrle:1988}
Richard~T. Oehrle.
\newblock Multi-dimensional compositional functions as a basis for grammatical
  analysis.
\newblock In Emon Bach, Richard~T. Oehrle, and Deirdre Wheeler, editors, {\em
  Categorial Grammars and Natural Language Structures}, pages 349--389. D.
  Reidel, Dordrecht The Netherlands, 1988.

\bibitem{Oehrle:1994}
Richard~T. Oehrle.
\newblock Term-labelled categorial type systems.
\newblock {\em Linguistics \& Philosophy}, 17(6):633--678, December 1994.

\bibitem{Oehrle:1999}
Richard~T. Oehrle.
\newblock Binding as term rewriting.
\newblock In Gosse Bouma, Erhard Hinrichs, Geert-Jan~M. Kruijff, and Richard~T.
  Oehrle, editors, {\em Constraints and Resources in Natural Language Syntax
  and Semantics}, pages 221--241. CSLI Press, Stanford CA, 1999.

\bibitem{Panevova:1974}
Jarmila Panevov\'a.
\newblock On verbal frames in functional generative description {I}.
\newblock {\em Prague Bulletin of Mathematical Linguistics}, 22:3--40, 1974.

\bibitem{Panevova:1994}
Jarmila Panevov\'a.
\newblock Valency frames and the meaning of the sentence.
\newblock In Philip Luelsdorff, editor, {\em The Prague School of Structural
  and Functional Linguistics}, volume~41 of {\em Linguistics and Literary
  Studies in Eastern Europe}, pages 223--243. John Benjamins, Amsterdam, 1994.

\bibitem{Petkevic:1995}
Vladim\'{\i}r Petkevi\v{c}.
\newblock A new formal specification of underlying structures.
\newblock {\em Theoretical Linguistics}, 21(1):7--61, 1995.

\bibitem{Sgall/etal:1986}
Petr Sgall, Eva Haji\v{c}ov\'a, and Jarmila Panevov\'a.
\newblock {\em The {M}eaning of the {S}entence in {I}ts {S}emantic and
  {P}ragmatic {A}spects}.
\newblock D. Reidel Publishing Company, Dordrecht, Boston, London, 1986.

\bibitem{Steedman:POT}
Mark Steedman.
\newblock The productions of time.
\newblock Draft 2.1, June 1998.

\bibitem{Steedman:SynProc}
Mark Steedman.
\newblock {\em The Syntactic Process}.
\newblock The MIT Press, Cambridge Massachusetts, 2000.

\bibitem{Svoboda/Materna:1987}
Ale\v{s} Svoboda and Pavel Materna.
\newblock Function sentence perspective and intensional logic.
\newblock In Ren\'e Dirven and Vil\'em Fried, editors, {\em Functionalism in
  Linguistics}, pages 191--205. John Benjamins, Amsterdam, The Netherlands,
  1987.

\bibitem{Vachek:1964}
Josef Vachek.
\newblock {\em A {P}rague {S}chool {R}eader in Linguistics}.
\newblock Indiana University Press, Bloomington, IN, 1964.

\end{thebibliography}
