New Intuitionistic Logical Constants and Novikov Completeness

Author: Yashin, Alexander

Source: Studia Logica, Volume 63, Number 2, September 1999 , pp. 151-180(30)

Publisher: Springer

Buy & download fulltext article:

Price: $47.00 plus tax (Refund Policy)

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.

Keywords: intuitionistic logic; new logical constants; Novikov completeness

Document Type: Research article

DOI: http://dx.doi.org/10.1023/A:1005258529641

Affiliations: 1: Email: yashin@uni.udm.ru

Publication date: 1999-09-01