Axiomatizing E-> and R-> with Anderson and Belnap's "Strong and natural list of valid entailments"

Bulletin of the Section of Logic, Tom 16, Numer 1 (1987) s. 2-10
Jose M. Mendez