Tree trimming: four non-branching rules for Priest's \textit{Introduction to non-classical logic} (Q3466629)

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

Tree trimming: four non-branching rules for Priest's \textit{Introduction to non-classical logic}