New Intuitionistic Logical Constants and Novikov Completeness |
| |
| Authors: | Alexander Yashin |
| |
| Affiliation: | (1) Department of Mathematics, Udmurtia State University, Universitetskaya str., 1, 426034 Izhevsk, Russia |
| |
| Abstract: | Extending the language of the intuitionistic propositional logic Int with additional logical constants, we construct a wide family of extensions of Int with the following properties: (a) every member of this family is a maximal conservative extension of Int; (b) additional constants are independent in each of them. This revised version was published online in June 2006 with corrections to the Cover Date. |
| |
| Keywords: | intuitionistic logic new logical constants Novikov completeness |
| 本文献已被 SpringerLink 等数据库收录！ |
|
