ISSN:
1572-8730
Keywords:
intuitionistic logic
;
new logical constants
;
Novikov completeness
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
,
Philosophy
Notes:
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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1005258529641
Permalink