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 等数据库收录! |