A consecutive calculus for positive relevant implication with necessity Nuel D. Belnap Jr.Anil GuptaJ. Michael Dunn OriginalPaper Pages: 343 - 362