Journal of philosophical logic (Kluwer Academic Publishers, 1972)