Strong Normalization for Truth Table Natural Deduction

Herman Geuvers, Iris van der Giessen, Tonny Hurkens. Strong Normalization for Truth Table Natural Deduction. Fundamenta Informaticae, 170(1-3):139-176, 2019. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.