%0 Journal Article
%T Intuitionistic logic as the implement of incremental model construction for natural language<br>Intuitionistic Logic as the Implement of Incremental Model Construction for Natural Language
%A Zhang Tong
%A <br>Zhang
%A Tong
%J 计算机科学技术学报
%D 1998
%I 
%X 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.
%K Passage understanding of natural language
%K Kripke frame for
%K intuitionistic logic semantics
%K incremental model construction<br>计算机语言学
%K 自然语言
%K 语义
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=823F7DD829603068DE44F9C0BF86989F&yid=8CAA3A429E3EA654&vid=FC0714F8D2EB605D&iid=CA4FD0336C81A37A&sid=FC0714F8D2EB605D&eid=BCA2697F357F2001&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=5