Journal article
Trees for E
Shawn Standefer
LOGIC JOURNAL OF THE IGPL | OXFORD UNIV PRESS | Published : 2018
Abstract
A tree natural deduction system for Anderson and Belnap’s relevant logic E is presented and shown equivalent to a Hilbertstyle axiomatization of E. Using an idea from Prawitz, a variant tree system is motivated and shown equivalent to the Hilbertstyle system via a detour through Anderson and Belnap’s Fitch system for E.
Grants
Awarded by Australian Research Council
Funding Acknowledgements
This research was supported by the Australian Research Council, Discovery Grant DP150103801.