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.

On Analysing Relevance Constructively

Garrel Pottinger
Studia Logica: An International Journal for Symbolic Logic
Vol. 38, No. 2 (1979), pp. 171-185
Published by: Springer
Stable URL: http://www.jstor.org/stable/20014939
Page Count: 15
  • Download ($43.95)
  • Cite this Item
On Analysing Relevance Constructively
Preview not available

Abstract

This paper lays out a program for analysing relevance constructively. It begins with a summary of results concerning the system C of Pottinger [197a] which has entailment, relevant implications, S4 strict implication, and intuitionist implication among its connectives. A full working out of the motivation for C will require formal analysis of informal concepts derived from the usual explanation of the meanings of the constants of intuitionist propositional logic. Formal machinery which should be adequate for the proof theoretic side of the analysis of the nonmodal part of C is described in detail, and the direction in which semantical results are to be sought is indicated.

Page Thumbnails

  • 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
  • Thumbnail: Page 
181
    181
  • Thumbnail: Page 
182
    182
  • Thumbnail: Page 
183
    183
  • Thumbnail: Page 
184
    184
  • Thumbnail: Page 
185
    185