1. Coarsening Natural Deduction Proofs I: Finding Perfect Proofs;Journal of Logic and Computation;2024-01-03
2. Vagueness as an epiphenomenon, and non-transitivity;Journal of Applied Non-Classical Logics;2022-07-03
3. RELEVANCE FOR THE CLASSICAL LOGICIAN;The Review of Symbolic Logic;2018-11-06
4. A sieve for entailments;Journal of Philosophical Logic;1980-02
5. Geach on Entailment;The Philosophical Review;1973-04