You are not currently logged in.
Access JSTOR through your library or other institution:
On Analysing Relevance Constructively
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
You can always find the topics here!Topics: Mathematical intuitionism, Relevance logic, Logical theorems, Sequents, Propositional logic, Entailment, Strict implications, Lambda calculus, Logical constants, Logical proofs
Were these topics helpful?See something inaccurate? Let us know!
Select the topics that are inaccurate.
Preview not available
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.
Studia Logica: An International Journal for Symbolic Logic © 1979 Springer