| |
| 2005 | ||
|---|---|---|
| 7 | EE | Neil Tennant: Contracting Intuitionistic Theories. Studia Logica 80(2-3): 369-391 (2005) |
| 2003 | ||
| 6 | EE | Neil Tennant: Theory-Contraction is NP-Complete. Logic Journal of the IGPL 11(6): 675-693 (2003) |
| 2002 | ||
| 5 | EE | Neil Tennant: Ultimate Normal Forms for Parallelized Natural Deductions. Logic Journal of the IGPL 10(3): 299-337 (2002) |
| 1997 | ||
| 4 | Neil Tennant: On Having Bad Contractions (invited paper). Journal of Applied Non-Classical Logics 7(2): (1997) | |
| 1991 | ||
| 3 | Neil Tennant: Editorial. J. Log. Comput. 1(4): 427-430 (1991) | |
| 1989 | ||
| 2 | Neil Tennant: Truth Table Logic, with a Survey of Embeddability Results. Notre Dame Journal of Formal Logic 30(3): 459-484 (1989) | |
| 1987 | ||
| 1 | Neil Tennant: Natural Deduction and Sequent Calculus for Intuitionistic Relevant Logic. J. Symb. Log. 52(3): 665-680 (1987) | |