@dblp

A consecutive calculus for positive relevant implication with necessity.

, , and . J. Philosophical Logic, 9 (4): 343-362 (1980)

Links and resources

Tags