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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Patrick Blackburn. Internalizing labelled deduction. Journal of Logic Computation, 10(1):137–168, 2000.
Patrick Blackburn. Representation, reasoning, and relational structures: a hybrid logic manifesto. Journal of the Interest Group in Pure Logic, 8(3):339–365, 2000.
William Croft. Typology and Universals. Cambridge Textbooks in Linguistics. Cambridge University Press, Cambridge, United Kingdom, 1990.
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.
Leo Hadacz. Semantic inference in the human-machine communication. In Proceedings of Text, Speech and Dialogue’ 99, Czech Republic, 1999. Springer Verlag.
Mark Hepple. A general framework for hybrid substructural categorial logics. Technical Report 94-14, IRCS, University of Pennsylvania, Philadelphia PA, September 1994.
Geert-Jan M. Kruijff. Dependency grammar logic: An introduction. Available from http://www.cogsci.ed.ac.uk/~gj/, November 1999.
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.
Pavel Materna. Concepts and objects, volume 63 of Acta Philosophica Fennica. Philosophical Society of Finland, Helsinki, Finland, 1998.
Pavel Materna, Eva Hajičová, and Petr Sgall. Redundant answers and topic-focus articulation. Linguistics and Philosophy, 10:101–113, 1987.
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.
Glyn V. Morrill. Type Logical Grammar: Categorial Logic of Signs. Kluwer Academic Publishers, Dordrecht, Boston, London, 1994.
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.
Richard T. Oehrle. Term-labelled categorial type systems. Linguistics & Philosophy, 17(6):633–678, December 1994.
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.
Jarmila Panevová. On verbal frames in functional generative description I. Prague Bulletin of Mathematical Linguistics, 22:3–40, 1974.
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.
Vladimír Petkevič. A new formal specification of underlying structures. Theoretical Linguistics, 21(1):7–61, 1995.
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.
Mark Steedman. The productions of time. Draft 2.1, June 1998.
Mark Steedman. The Syntactic Process. The MIT Press, Cambridge Massachusetts, 2000.
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.
Josef Vachek. A Prague School Reader in Linguistics. Indiana University Press, Bloomington, IN, 1964.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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