Tonny Hurkens

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 5

Top Topics

Intuitionistic Logic

Natural Deduction

Top Venues

Fundam. Informaticae

Logics and Type Systems in Theory and Practice

Publications

Tonny Hurkens
Between Brackets. Logics and Type Systems in Theory and Practice (2024)
Herman Geuvers, Tonny Hurkens
Classical Natural Deduction from Truth Tables. TYPES (2022)
Herman Geuvers, Iris van der Giessen, Tonny Hurkens
Strong Normalization for Truth Table Natural Deduction. Fundam. Informaticae 170 (1-3) (2019)
Herman Geuvers, Tonny Hurkens
Proof Terms for Generalized Natural Deduction. TYPES (2017)
Herman Geuvers, Tonny Hurkens
Deriving Natural Deduction Rules from Truth Tables. ICLA (2017)