Deriving Natural Deduction Rules from Truth Tables. - Herman Geuvers; Tonny Hurkens (ICLA, 2017)

Proof Terms for Generalized Natural Deduction. - Herman Geuvers; Tonny Hurkens (TYPES, 2017)

Strong Normalization for Truth Table Natural Deduction. - Herman Geuvers; Iris van der Giessen; Tonny Hurkens (Fundam. Informaticae, 2019)

Classical Natural Deduction from Truth Tables. - Herman Geuvers; Tonny Hurkens (TYPES, 2022)

Between Brackets. - Tonny Hurkens (Logics and Type Systems in Theory and Practice, 2024)