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.

Investigations into a Left-Structural Right-Substructural Sequent Calculus

Lloyd Humberstone
Journal of Logic, Language, and Information
Vol. 16, No. 2 (Apr., 2007), pp. 141-171
Published by: Springer
Stable URL: http://www.jstor.org/stable/40180445
Page Count: 31
  • Download ($43.95)
  • Cite this Item
Investigations into a Left-Structural Right-Substructural Sequent Calculus
Preview not available

Abstract

We study a multiple-succedent sequent calculus with both of the structural rules Left Weakening and Left Contraction but neither of their counterparts on the right, for possible application to the treatment of multiplicative disjunction (fission, 'cotensor', par) against the background of intuitionistic logic. We find that, as Hirokawa dramatically showed in a 1996 paper with respect to the rules for implication, the rules for this connective render derivable some new structural rules, even though, unlike the rules for implication, these rules are what we call ipsilateral: applying such a rule does not make any (sub)formula change sides--from the left to the right of the sequent separator or vice versa. Some possibilities for a semantic characterization of the resulting logic are also explored. The paper concludes with three open questions.

Page Thumbnails

  • Thumbnail: Page 
[141]
    [141]
  • Thumbnail: Page 
142
    142
  • Thumbnail: Page 
143
    143
  • Thumbnail: Page 
144
    144
  • Thumbnail: Page 
145
    145
  • Thumbnail: Page 
146
    146
  • Thumbnail: Page 
147
    147
  • Thumbnail: Page 
148
    148
  • Thumbnail: Page 
149
    149
  • Thumbnail: Page 
150
    150
  • 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