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. John Thomas Canty.

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. Near Fine / No Jacket. Item #2326330

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.

Price: $50.00

See all items in Education, Mathematics, Philosophy
See all items by