We use cookies to improve your experience with our site.
Zhang Tong. Intuitionistic Logic as the Implement of Incremental Model Construction for Natural Language[J]. Journal of Computer Science and Technology, 1998, 13(1): 13-17.
Citation:
Zhang Tong. Intuitionistic Logic as the Implement of Incremental Model Construction for Natural Language[J]. Journal of Computer Science and Technology, 1998, 13(1): 13-17.
Zhang Tong. Intuitionistic Logic as the Implement of Incremental Model Construction for Natural Language[J]. Journal of Computer Science and Technology, 1998, 13(1): 13-17.
Citation:
Zhang Tong. Intuitionistic Logic as the Implement of Incremental Model Construction for Natural Language[J]. Journal of Computer Science and Technology, 1998, 13(1): 13-17.
Intuitionistic Logic as the Implement of Incremental Model Construction for Natural Language
The process of understanding natural language can be viewed as the process of model construction. This paper? employing Kripke frame for intuitionistic logic semantics as the implement of model construction for natural language, introduces a method of incremental model construction.
DownLoad: