'Natural Deduction and Sequent Calculus for Intuitionistic Relevant

0 downloads 0 Views 1MB Size Report
Sep 20, 2004 - Natural Deduction and Sequent Calculus for Intuitionistic Relevant Logic. STOR. Neil Tennant. The Journal of Symbolic Logic, Vol. 52, No.