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.
Similar content being viewed by others
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Yashin, A. New Intuitionistic Logical Constants and Novikov Completeness. Studia Logica 63, 151–180 (1999). https://doi.org/10.1023/A:1005258529641
Issue Date:
DOI: https://doi.org/10.1023/A:1005258529641