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.

The Disjunction Property of Intermediate Propositional Logics

Alexander Chagrov and Michael Zakharyashchev
Studia Logica: An International Journal for Symbolic Logic
Vol. 50, No. 2 (1991), pp. 189-216
Published by: Springer
Stable URL: http://www.jstor.org/stable/20015573
Page Count: 28
  • Download ($43.95)
  • Cite this Item
The Disjunction Property of Intermediate Propositional Logics
Preview not available

Abstract

This paper is a survey of results concerning the disjunction property, Halldén-completeness, and other related properties of intermediate propositional logics and normal modal logics containing S4.

Page Thumbnails

  • Thumbnail: Page 
[189]
    [189]
  • Thumbnail: Page 
190
    190
  • Thumbnail: Page 
191
    191
  • Thumbnail: Page 
192
    192
  • Thumbnail: Page 
193
    193
  • Thumbnail: Page 
194
    194
  • Thumbnail: Page 
195
    195
  • Thumbnail: Page 
196
    196
  • Thumbnail: Page 
197
    197
  • Thumbnail: Page 
198
    198
  • Thumbnail: Page 
199
    199
  • Thumbnail: Page 
200
    200
  • Thumbnail: Page 
201
    201
  • Thumbnail: Page 
202
    202
  • Thumbnail: Page 
203
    203
  • Thumbnail: Page 
204
    204
  • Thumbnail: Page 
205
    205
  • Thumbnail: Page 
206
    206
  • Thumbnail: Page 
207
    207
  • Thumbnail: Page 
208
    208
  • Thumbnail: Page 
209
    209
  • Thumbnail: Page 
210
    210
  • Thumbnail: Page 
211
    211
  • Thumbnail: Page 
212
    212
  • Thumbnail: Page 
213
    213
  • Thumbnail: Page 
214
    214
  • Thumbnail: Page 
215
    215
  • Thumbnail: Page 
216
    216