Journal of philosophical logic (Springer Science + Business Media B.V, 1972)