Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support

New Intuitionistic Logical Constants and Novikov Completeness

Alexander Yashin
Studia Logica: An International Journal for Symbolic Logic
Vol. 63, No. 2 (Sep., 1999), pp. 151-180
Published by: Springer
Stable URL: http://www.jstor.org/stable/20016082
Page Count: 30
  • Get Access
  • Download ($43.95)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
New Intuitionistic Logical Constants and Novikov Completeness
Preview not available

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.

Page Thumbnails

  • Thumbnail: Page 
[151]
    [151]
  • Thumbnail: Page 
152
    152
  • Thumbnail: Page 
153
    153
  • Thumbnail: Page 
154
    154
  • Thumbnail: Page 
155
    155
  • Thumbnail: Page 
156
    156
  • Thumbnail: Page 
157
    157
  • Thumbnail: Page 
158
    158
  • Thumbnail: Page 
159
    159
  • Thumbnail: Page 
160
    160
  • Thumbnail: Page 
161
    161
  • Thumbnail: Page 
162
    162
  • Thumbnail: Page 
163
    163
  • Thumbnail: Page 
164
    164
  • Thumbnail: Page 
165
    165
  • Thumbnail: Page 
166
    166
  • Thumbnail: Page 
167
    167
  • Thumbnail: Page 
168
    168
  • Thumbnail: Page 
169
    169
  • Thumbnail: Page 
170
    170
  • Thumbnail: Page 
171
    171
  • Thumbnail: Page 
172
    172
  • Thumbnail: Page 
173
    173
  • Thumbnail: Page 
174
    174
  • Thumbnail: Page 
175
    175
  • Thumbnail: Page 
176
    176
  • Thumbnail: Page 
177
    177
  • Thumbnail: Page 
178
    178
  • Thumbnail: Page 
179
    179
  • Thumbnail: Page 
180
    180