Trees for E
Journal
Logic Journal of the {IGPL}
Journal Volume
26
Journal Issue
3
Date Issued
2018
Author(s)
Abstract
A tree natural deduction system for Anderson and Belnap’s relevant logic E is presented and shown equivalent to a Hilbert-style axiomatization of E. Using an idea from Prawitz, a variant tree system is motivated and shown equivalent to the Hilbert-style system via a detour through Anderson and Belnap’s Fitch system for E.
Publisher
Oxford University Press ({OUP})
Type
journal article