Return to Article Details Tree Trimming: Four Non-Branching Rules for Priest’s Introduction to Non-Classical Logic Download Download PDF