Book Chapter
Introduction
The University Series in Mathematics, 2002, A Short Introduction to Intuitionistic Logic, Pages 1-4
Book Chapter
Presenting intuitive deductions via symmetric simplification
Frank Pfenning and Dan Nesmith
Lecture Notes in Computer Science, 1990, Volume 449, 10th International Conference on Automated Deduction, Pages 336-350
Journal Article
Harmonising natural deduction
Barry Hartley Slater
Synthese, 2008, Volume 163, Number 2, Pages 187-198
Book Chapter
Geometry of Deduction Via Graphs of Proofs
Anjolina de Oliveira and Ruy de Queiroz
Trends in Logic, 1, Volume 15, Logic for Concurrency and Synchronisation, I, Pages 3-88
Book Chapter
Propositional Logic
2006, Discrete Mathematics Using a Computer, Part II, Pages 109-162
Book Chapter
Natural Deduction System NJ
The University Series in Mathematics, 2002, A Short Introduction to Intuitionistic Logic, Part II, Pages 95-104
Book Chapter
Natural Deduction for Propositional Logic
The University Series in Mathematics, 2002, A Short Introduction to Intuitionistic Logic, Pages 9-22
Book Chapter
Computations with Deductions
The University Series in Mathematics, 2002, A Short Introduction to Intuitionistic Logic, Pages 31-39
Book Chapter
Lambek Calculus with Limited Contraction
Trends in Logic, 2006, Volume 24, Anaphora and Type Logical Grammar, Pages 119-156
Book Chapter
Pronouns and Quantification
Trends in Logic, 2006, Volume 24, Anaphora and Type Logical Grammar, Pages 157-181