March 2006 Normalized natural deduction systems for some relevant logics I: The logic DW
Ross T. Brady
J. Symbolic Logic 71(1): 35-66 (March 2006). DOI: 10.2178/jsl/1140641162
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

JOURNAL ARTICLE
32 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

Vol.71 • No. 1 • March 2006
Back to Top