A Semantical Analysis of Implicational System I and of the First Degree of Entailment. R. Routley — 1972 Mathematische Annalen