张彤 直觉主义逻辑作为自然语言增量模型构建的实现。 （英语） Zbl 0893.68115号 J.计算。科学。Technol公司。 13，第1期，第13-17页（1998年）. 摘要：理解自然语言的过程可以看作是模型构建的过程。本文利用直觉逻辑语义的克里普克框架作为自然语言模型构建的实现，介绍了一种增量模型构建方法。 MSC公司： 68T50型 自然语言处理 关键词：克里普克框架;直觉逻辑语义学;增量模型构造 PDF格式BibTeX公司 XML格式引用 \textit{T.Zhang}，J.计算。科学。Technol公司。13，编号1，13--17（1998；Zbl 0893.68115） 全文： 内政部 参考文献： [1] 道蒂·D·R蒙塔古语义学导论。雷德尔D，1981年。 [2] Dalen D V.逻辑与结构，第二版。Springer-Verlag，1990年。 [3] Nerode A，Shore R A.应用逻辑。Springer-Verlag，1993年·Zbl 0842.03003号 [4] Nerode A.直觉主义逻辑的一些讲座。InLogic和计算机科学，LNM 1429，Springer-Verlag，1988年·兹比尔0703.03001 [5] Cresswell M J.实体和指数。Kluwer学术出版社，1990年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。