Studia Logica

, Volume 63, Issue 2, pp 151–180

New Intuitionistic Logical Constants and Novikov Completeness

  • Alexander Yashin
Article

DOI: 10.1023/A:1005258529641

Cite this article as:
Yashin, A. Studia Logica (1999) 63: 151. doi:10.1023/A:1005258529641

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.

intuitionistic logicnew logical constantsNovikov completeness

Copyright information

© Kluwer Academic Publishers 1999

Authors and Affiliations

  • Alexander Yashin
    • 1
  1. 1.Department of MathematicsUdmurtia State UniversityIzhevskRussia