Studia Logica

, Volume 63, Issue 2, pp 151-180

First online:

New Intuitionistic Logical Constants and Novikov Completeness

  • Alexander YashinAffiliated withDepartment of Mathematics, Udmurtia State University

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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 logic new logical constants Novikov completeness