Name
Title | ||
|---|---|---|
Intuitionistic logic as the implement of incremental model construction for natural language |
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
1998 | null | Journal of Computer Science and Technology |
Keywords | Field | DocType |
null | Programming language,Computer science,Truth value,Incremental build model,Artificial intelligence,Natural language processing,Higher-order logic,Distributed computing,Intuitionistic logic,Kripke semantics,Minimal logic,Natural language,Intermediate logic | Journal |
Volume | Issue | ISSN |
13 | 1 | null |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Tong Zhang | 1 | 0 | 0.34 |
| 张彤 | 2 | 0 | 0.34 |