Your cart
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

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

$ 50.00
xiv, 41 pp. From the preface: 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.