Trees for E

No Preview Available
Citations
Web of Science:
2
Altmetric:
Altmetric::
Download
Associated Records
Authors
Standefer, S
File Licence
Editors
Date
2018-06-01
Source Title
Logic Journal of the IGPL
Journal Title
Journal ISSN
Volume Title
Publisher
OXFORD UNIV PRESS
Melbourne Authors
Standefer, Shawn ORCID
Affiliation
School of Historical and Philosophical Studies
Document Type
Journal Article
Subject Code
Citation
Standefer, S. (2018). Trees for E. LOGIC JOURNAL OF THE IGPL, 26 (3), pp.300-315. https://doi.org/10.1093/jigpal/jzy003.
Access Status
This item is currently not available from this repository
URI
https://hdl.handle.net/11343/234342
DOI
10.1093/jigpal/jzy003
Access URL
Open Access URL
Open Access at PMC
Linked Resource URL
NHMRC Grant Code
ARC Grant Code
ARC/DP150103801
Description
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.
Notes
Terms of Use
Keywords
Publisher Licence
Publisher URL
https://doi.org/10.1093/jigpal/jzy003
Collections
School of Historical and Philosophical Studies - Research Publications
Minerva Elements Records