New Intuitionistic Logical Constants and Novikov Completeness
- Cite this article as:
- Yashin, A. Studia Logica (1999) 63: 151. doi:10.1023/A:1005258529641
- 26 Views
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.