Skip to main content
SpringerLink
Log in

Categories, Constructions, and Dependency Relations

  • Conference paper
  • First Online:
Text, Speech and Dialogue (TSD 2000)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1902))

Included in the following conference series:

  • 374 Accesses

Abstract

The paper discusses combining transparent intensional logic with (dependency-based) categorial grammars, based on the idea of a Curry-Howard correspondence between categories and semantics types.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Patrick Blackburn. Internalizing labelled deduction. Journal of Logic Computation, 10(1):137–168, 2000.

    Article  MATH  MathSciNet  Google Scholar 

  2. Patrick Blackburn. Representation, reasoning, and relational structures: a hybrid logic manifesto. Journal of the Interest Group in Pure Logic, 8(3):339–365, 2000.

    MATH  MathSciNet  Google Scholar 

  3. William Croft. Typology and Universals. Cambridge Textbooks in Linguistics. Cambridge University Press, Cambridge, United Kingdom, 1990.

    Google Scholar 

  4. David R. Dowty. On the semantic content of the notion “thematic role”. In Giennaro Chierchia, Barbara H. Partee, and Raymond Turner, editors, Properties, Types, and Meaning: Volume II, Semantic Issues, volume 39 of Studies in Linguistics and Philosophy, pages 69–129. Kluwer Academic Publishers, Dordrecht, Boston, London, 1989.

    Google Scholar 

  5. Leo Hadacz. Semantic inference in the human-machine communication. In Proceedings of Text, Speech and Dialogue’ 99, Czech Republic, 1999. Springer Verlag.

    Google Scholar 

  6. Mark Hepple. A general framework for hybrid substructural categorial logics. Technical Report 94-14, IRCS, University of Pennsylvania, Philadelphia PA, September 1994.

    Google Scholar 

  7. Geert-Jan M. Kruijff. Dependency grammar logic: An introduction. Available from http://www.cogsci.ed.ac.uk/~gj/, November 1999.

  8. Geert-Jan M. Kruijff. A Categorial Architecture of Informativity. Ph.D. thesis, Institute of Formal and Applied Linguistics (ÚFAL), Faculty of Mathematics and Physics, Charles University, Prague, Czech Republic, f.c.

    Google Scholar 

  9. Pavel Materna. Concepts and objects, volume 63 of Acta Philosophica Fennica. Philosophical Society of Finland, Helsinki, Finland, 1998.

    Google Scholar 

  10. Pavel Materna, Eva Hajičová, and Petr Sgall. Redundant answers and topic-focus articulation. Linguistics and Philosophy, 10:101–113, 1987.

    Article  MATH  Google Scholar 

  11. Michael Moortgat. Categorial type logics. In Johan van Benthem and Alice ter Meulen, editors, Handbook of Logic and Language. Elsevier Science B. V., Amsterdam New York etc., 1997.

    Google Scholar 

  12. Glyn V. Morrill. Type Logical Grammar: Categorial Logic of Signs. Kluwer Academic Publishers, Dordrecht, Boston, London, 1994.

    MATH  Google Scholar 

  13. Richard T. Oehrle. Multi-dimensional compositional functions as a basis for grammatical analysis. In Emon Bach, Richard T. Oehrle, and Deirdre Wheeler, editors, Categorial Grammars and Natural Language Structures, pages 349–389. D. Reidel, Dordrecht The Netherlands, 1988.

    Google Scholar 

  14. Richard T. Oehrle. Term-labelled categorial type systems. Linguistics & Philosophy, 17(6):633–678, December 1994.

    Google Scholar 

  15. Richard T. Oehrle. Binding as term rewriting. In Gosse Bouma, Erhard Hinrichs, Geert-Jan M. Kruijff, and Richard T. Oehrle, editors, Constraints and Resources in Natural Language Syntax and Semantics, pages 221–241. CSLI Press, Stanford CA, 1999.

    Google Scholar 

  16. Jarmila Panevová. On verbal frames in functional generative description I. Prague Bulletin of Mathematical Linguistics, 22:3–40, 1974.

    Google Scholar 

  17. Jarmila Panevová. Valency frames and the meaning of the sentence. In Philip Luelsdorff, editor, The Prague School of Structural and Functional Linguistics, volume 41 of Linguistics and Literary Studies in Eastern Europe, pages 223–243. John Benjamins, Amsterdam, 1994.

    Google Scholar 

  18. Vladimír Petkevič. A new formal specification of underlying structures. Theoretical Linguistics, 21(1):7–61, 1995.

    Article  Google Scholar 

  19. Petr Sgall, Eva Hajičová, and Jarmila Panevová. The Meaning of the Sentence in Its Semantic and Pragmatic Aspects. D. Reidel Publishing Company, Dordrecht, Boston, London, 1986.

    Google Scholar 

  20. Mark Steedman. The productions of time. Draft 2.1, June 1998.

    Google Scholar 

  21. Mark Steedman. The Syntactic Process. The MIT Press, Cambridge Massachusetts, 2000.

    Google Scholar 

  22. Aleš Svoboda and Pavel Materna. Function sentence perspective and intensional logic. In René Dirven and Vilém Fried, editors, Functionalism in Linguistics, pages 191–205. John Benjamins, Amsterdam, The Netherlands, 1987.

    Google Scholar 

  23. Josef Vachek. A Prague School Reader in Linguistics. Indiana University Press, Bloomington, IN, 1964.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Formal and Applied Linguistics Faculty of Mathematics and Physics, Charles University, Prague

    Geert-Jan M. Kruijff

Authors
  1. Geert-Jan M. Kruijff
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Informatics Department of Programming Systems and Communication, Masaryk University, Botanická 68a, 602 00, Brno, Czech Republic

    Petr Sojka

  2. Faculty of Informatics, Department of Information Technologies, Masaryk University, Botanická 68a, 602 00, Brno, Czech Republic

    Ivan Kopeček  & Karel Pala  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kruijff, GJ.M. (2000). Categories, Constructions, and Dependency Relations. In: Sojka, P., Kopeček, I., Pala, K. (eds) Text, Speech and Dialogue. TSD 2000. Lecture Notes in Computer Science(), vol 1902. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45323-7_9

Download citation

  • DOI: https://doi.org/10.1007/3-540-45323-7_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41042-3

  • Online ISBN: 978-3-540-45323-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation