|
|||||
|
|
An Intuitionistic Completeness Theorem for Classical Predicate Logic |
|
| Authors: | Victor N. Krivtsov |
| Affiliation: | 1.Department of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics,Moscow State University,Moscow,Russia |
| Abstract: | This paper presents an intuitionistic proof of a statement which under a classical reading is logically equivalent to Gödel’s completeness theorem for classical predicate logic. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |