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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,865 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesFred Wilson (1985). I. Addis on Analysing Disposition Concepts. Inquiry 28 (1-4):247-260.
A. S. Troelstra (1981). On a Second Order Propositional Operator in Intuitionistic Logic. Studia Logica 40 (2):113 - 139.
Liza Verhoeven (2007). The Relevance of a Relevantly Assertable Disjunction for Material Implication. Journal of Philosophical Logic 36 (3):339-366.
Garrel Pottinger (1979). A New Classical Relevance Logic. Journal of Philosophical Logic 8 (1):135 - 147.
Jonathan P. Seldin (2000). On the Role of Implication in Formal Logic. Journal of Symbolic Logic 65 (3):1076-1114.
Arnold Koslow (1992/2005). A Structuralist Theory of Logic. Cambridge University Press.
A. Avron (2000). Implicational F-Structures and Implicational Relevance Logics. Journal of Symbolic Logic 65 (2):788-802.
David Sherry (2006). Formal Logic for Informal Logicians. Informal Logic 26 (2):199-220.
Garrel Pottinger (1976). A New Way of Normalizing Intuitionist Propositional Logic. Studia Logica 35 (4):387 - 408.
Philip Kremer (1989). Relevant Predication: Grammatical Characterisations. Journal of Philosophical Logic 18 (4):349 - 382.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #180,404 of 556,803 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
