On analysing relevance constructively

Studia Logica 38 (2):171 - 185 (1979)
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 implication, 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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00370440
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,567
Through your library
References found in this work BETA

Add more references

Citations of this work BETA
An Interpretation of Classical Proofs.Glen Helman - 1983 - Journal of Philosophical Logic 12 (1):39 - 71.

Add more citations

Similar books and articles
I. Addis on Analysing Disposition Concepts.Fred Wilson - 1985 - Inquiry : An Interdisciplinary Journal of Philosophy 28 (1-4):247-260.
Formal Logic for Informal Logicians.David Sherry - 2006 - Informal Logic 26 (2):199-220.
Implicational F-Structures and Implicational Relevance Logics.A. Avron - 2000 - Journal of Symbolic Logic 65 (2):788-802.
On the Role of Implication in Formal Logic.Jonathan P. Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.
A New Classical Relevance Logic.Garrel Pottinger - 1979 - Journal of Philosophical Logic 8 (1):135 - 147.
Relevant Predication: Grammatical Characterisations. [REVIEW]Philip Kremer - 1989 - Journal of Philosophical Logic 18 (4):349 - 382.
Added to PP index
2009-01-28

Total downloads
11 ( #409,413 of 2,180,802 )

Recent downloads (6 months)
1 ( #299,822 of 2,180,802 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums