Tonny Hurkens

According to our database, Tonny Hurkens authored at least 4 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Classical Natural Deduction from Truth Tables.

Herman Geuvers, Tonny Hurkens

Proceedings of the 28th International Conference on Types for Proofs and Programs, 2022

2019

Strong Normalization for Truth Table Natural Deduction.

Herman Geuvers, Iris van der Giessen, Tonny Hurkens

Fundam. Informaticae, 2019

2017

Proof Terms for Generalized Natural Deduction.

Herman Geuvers, Tonny Hurkens

Proceedings of the 23rd International Conference on Types for Proofs and Programs, 2017

Deriving Natural Deduction Rules from Truth Tables.

Herman Geuvers, Tonny Hurkens

Proceedings of the Logic and Its Applications - 7th Indian Conference, 2017