Tree Trimming: Four Non-Branching Rules for Priest’s Introduction to Non-Classical Logic

About this item

Title

Tree Trimming: Four Non-Branching Rules for Priest’s Introduction to Non-Classical Logic

Content partner

Victoria University of Wellington

Collection

Australasian Journal of Logic

Description

In An Introduction to Non-Classical Logic: From If to Is Graham Priest (2008) presents branching rules in Free Logic, Variable Domain Modal Logic, and Intuitionist Logic. I propose a simpler, non-branching rule to replace Priest’s rule for universal instantiation in Free Logic, a second, slightly modified version of this rule to replace Priest’s rule for universal instantiation in Variable Domain Modal Logic, and third and fourth rules, further modifying the second rule, to replace Priest’s b...

Read more

Format

Article

Date created

2015-12-01

Creator

Johnson, Marilynn

URL

https://doi.org/10.26686/ajl.v12i2.2066

What is the copyright status of this item?

All Rights Reserved

This item is all rights reserved, which means you'll have to get permission from Victoria University of Wellington before using it.

More Information

Victoria University of Wellington has this to say about the rights status of this item:

All rights reserved Copyright (c) 2015 The Australasian Journal of Logic

What can I do with this item?

You must always check with Victoria University of Wellington to confirm the specific terms of use, but this is our understanding:

Non-infringing use

NZ Copyright law does not prevent every use of a copyright work. You should consider what you can and cannot do with a copyright work.

No sharing

You may not copy and/or share this item with others without further permission. This includes posting it on your blog, using it in a presentation, or any other public use.

No modifying

You are not allowed to adapt or remix this item into any other works.

No commercial use

You may not use this item commercially.