New intuitionistic logical constants and novikov completeness

被引：1
|
作者：
Yashin A. [1 ]
机构：
[1] Department of Mathematics, Udmurtia State University, 426034 Izhevsk, Universitetskaya str.
来源：
Studia Logica | 1999年 / 63卷 / 2期
关键词：
Intuitionistic logic; New logical constants; Novikov completeness;
D O I：
10.1023/A:1005258529641
中图分类号：
学科分类号：
摘要：
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. © 1999 Kluwer Academic Publishers.
引用
收藏
页码：151 / 180
页数：29
相关论文
共 50 条
12345