|
|||||
|
|
Classification of Novikov Complete Logics with Extra Logical Constants |
|
| Authors: | A. D. Yashin |
| Affiliation: | (1) Ordzhonikidze 42-9, Izhevsk, 426063, Russia |
| Abstract: | We give an exhaustive classification of Novikov complete extensions of the intuitionistic propositional logic in a language with extra logical constants. |
| Keywords: | intuitionistic logic logical constant Novikov completeness |
| 本文献已被 SpringerLink 等数据库收录！ | |