Thesiss

Automated deduction procedures for modal logics, and related decidable fragments of first-order logic, are used in many real-world applications. A popular way of obtaining decision procedures for these logics is to base them on semantic tableau calculi. We focus on calculi that …

This study is the first chronologically inclusive history of the Unification Church in Canada for the period 1965 to 1991. The principal motive is to compile, as precisely as possible, an historical record of the activities of Unificationists in Canada, from their initial presen…

This dissertation brings together an interfaith ethos of mystic spirituality, the liberative praxis of prophetic theology, and the applied metaphysical principles of New Thought in a constructive theology emphasizing individual and social transformation. Drawing on the literatur…