A new semantics for intuitionistic predicate logic |
| |
| Authors: | Yuichi Komori |
| |
| Institution: | (1) Department of Mathematics Faculty of Science, Shizuoka University, Shizuoka, Japan |
| |
| Abstract: | The main part of the proof of Kripke's completeness theorem for intuitionistic logic is Henkin's construction. We introduce a new Kripke-type semantics with semilattice structures for intuitionistic logic. The completeness theorem for this semantics can he proved without Henkin's construction. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
