References
Anderson, A. R. and Belnap, N. D. Jr., Entailment, Vol. I, Princeton University Press, 1975.
Charlwood, Gerald W., Representations of Semilattice Relevance Logic, University of Toronto Ph.D. dissertation, 1978.
Curry, H. B., Foundations of Mathematical Logic, McGraw-Hill, 1963.
Dunn, J. Michael, ‘Consecution formulation of positive R with cotenability and t‘, Section 28.5 of [1].
DunnJ. Michael, (Abstract) ‘A “Gentzen System” for positive relevant implication’, Journal of Symbolic Logic 38 (1973), 356–357.
FineKit, ‘Completeness for the semilattice semantics with disjunction and conjunction’ [abstract], Journal of Symbolic Logic 41 (1976), 560.
MincG. E., ‘Téoréma ob ustranimosti séčénia dlá relevantnyh logik’, Isslédovanià po konstruktivnoj matematiké i matematićeskoj logike V, J. V.Matijasevic and O. A.Slisenko (eds.), Leningrad (Izdatel'stvo ‘Nauka’) (1972), pp. 90–97. English translation (‘Cut-elimination theorem in relevant logics’) in The Journal of Soviet Mathematics 6 (1976), 422–428.
PottingerG., ‘A new classical relevance logic’. Journal of Philosophical Logic 8 (1969), 135–147.
Prawitz, Dag., Natural deduction. Almqvist & Wiksell, 1965.
UrquhartAlisdair, ‘Semantics for relevance logics’, Journal of Symbolic Logic 37 (1972) 159–169.
Author information
Authors and Affiliations
Additional information
Thanks are due the University of California at Irvine, where these results were finally put together during a visit of NDB; and to the National Science Foundation for partial support of NDB and AG via Grant No. 33708 and JMD via Grant No. 2648. Also JMD would like to take this opportunity to express belated thanks to R. H. Thomason for helpful discussions regarding the results of [4, 5]. The form of publication of [4, 5] (section of book, abstract) prevented felicitous acknowledgement until now.
Rights and permissions
About this article
Cite this article
Belnap, N.D., Gupta, A. & Dunn, J.M. A consecutive calculus for positive relevant implication with necessity. J Philos Logic 9, 343–362 (1980). https://doi.org/10.1007/BF00262861
Issue Date:
DOI: https://doi.org/10.1007/BF00262861