期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

类型逻辑语法 被引量：2

原文传递
导出
摘要 类型逻辑语法（type logical grammar）是在经典范畴语法（basic categorial grammar）基础上发展起来的一个现代版本，它区别于传统范畴语法的最突出特征，就是通过使用加标演绎的表述方式，实现了句法推演和语义组合的并行推理，弥补了传统范畴语法在语义解释方面的缺陷。或者说，它是范畴语法、尤其是兰贝克演算（Lambek calculus）与类型逻辑语义学的综合，
作者 满海霞 李可胜
机构地区 中国社会科学院哲学所 合肥师范学院外语系
出处 《哲学动态》 CSSCI 北大核心 2010年第10期103-106,共4页 Philosophical Trends
基金 国家社会科学基金资助(项目号:09BZX046)
关键词 逻辑语法 范畴语法 逻辑语义学 语义组合 语义解释 传统 贝克
分类号 B81 [哲学宗教—逻辑学]
  • 相关文献

参考文献19

  • 1Johan van Benthem,《逻辑之门-约翰·范本特姆经典著作卷Ⅱ:逻辑,语言和认知》,刘新文,郭美云等译,科学出版社,2009,第165页.
  • 2Michael Moortgat, " Categorial type logics", Handbook of Logic and Language, eds. van Benthem, Johan and ter Meulen, Alice, Elsevier, MIT Press, 1996, p.96, chapter 2.
  • 3S. Fullop, On the Logic and Learning of Language, Trafford Publishing, 2004, pp. 66 - 67.
  • 4Yehoshua Bar-Hillel, "A Quasi-arithmetical Notation for Syntactic Description", Language, 1953 (29), 9- 47.
  • 5L. Joachim, "The Mathematics of Sentence Structure", The American Mathematical Monthly, 1958 (3), pp. 154 - 170.
  • 6Geach, "A Program for Syntax", Synthese. 1970, Volume 22, pp. 3 -17.
  • 7Barbara Partee and Mats Rooth, "Generalized Conjunction and Type Ambiguity", Meaning, Use and Interpretation of Language, eds. R. Bauerle, C. Schwarze and A. yon Stechow, Walter de Gruyter, Berlin, 1983, pp. 53 -95.
  • 8R. T. Oehrle, E. Bach and D. Wheeler eds, Categorial Grammars and Natural Language Structures, Reidel Pub. Co, 1988.
  • 9Johan van Benthem, "The Semantics of Variety in Categorial Grammar", Report 83 - 129, Simon Fraser University of Utreeht,Burnaby (B. C. ), Canada. (Revised version in W. Buszkowski, W. Mareiszewski and J. van Benthem eds. , Categorial Grammar, Benjamin, Amsterdam, 1988, pp. 37-55).
  • 10Michael Moortgat, Categorial Investigations : Logical and Linguistic Aspects of the Lambek Calculus, Foris Dordrecht, 1988.

二级参考文献6

  • 1吴平.2005年.《逻辑语义分析》.
  • 2Dosen, K. , 1992, " A brief survey of frames for the Lambek calculus", Z. Math. Logik Grundlag. Math. 38.
  • 3Moortgat, M. , 1988, Categorial Investgations, Foris Publication.
  • 41997, "Categorical type logic", in Handbook of Logic and Language, J. van Benthem and A. ter Meulen (eds.) ,pp. 93-177, Cambridge, MA. :The MIT Press.
  • 52002, " Categorial grammar and formal semantics", Article #231, Encyclopedia of Cognitive Science, Nature Publishing Group, Macmillan Publisher Ltd..
  • 6Moot, R. , 2001, "Proof nets for linguistic analysis", PhD thesis, Utrecht University.

共引文献11

同被引文献44

引证文献2

二级引证文献9

哲学动态
2010年 第10期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部