-
Views
-
Cite
Cite
Shawn Standefer, Trees for E, Logic Journal of the IGPL, Volume 26, Issue 3, June 2018, Pages 300–315, https://doi.org/10.1093/jigpal/jzy003
- Share Icon Share
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.
© The Author(s) 2018. Published by Oxford University Press. All rights reserved. For permissions, please e-mail: journals.permission@oup.com.
This article is published and distributed under the terms of the Oxford University Press, Standard Journals Publication Model (https://academic.oup.com/journals/pages/open_access/funder_policies/chorus/standard_publication_model)
Issue Section:
Article
You do not currently have access to this article.