A Natural Deduction System for Modal Logic -- Dissertation, Submitted to the Graduate School of the University of Notre Dame in Partial Fulfillment of the Requirements for the Degree of Master of Arts
Notre Dame, Indiana: Department of Philosophy, 1963. Large Hardcover.
No jacket. Minor general wear.
xiv, 41 pp. The paper that follows discusses the equivalence of two formal systems. Preliminary to that discussion a brief explanation of some terminology is in order--particularly of such terms as inferential equivalence and formal systems.--Preface
.....