Strong normalization for truth table natural deduction

Iris van der Giessen, Herman Geuvers, Tonny Hurkens

Research output: Contribution to journal › Article › peer-review

Access to Document

@article{37a7bfb8d64f498bbc847a0deb26876f,

title = "Strong normalization for truth table natural deduction",

author = "{van der Giessen}, Iris and Herman Geuvers and Tonny Hurkens",

year = "2019",

doi = "10.3233/FI-2019-1858",

language = "English",

volume = "170",

pages = "139--176",

journal = "Fundamenta Informaticae",

issn = "0169-2968",

publisher = "Polskie Towarzystwo Matematyczne",

number = "1-3",

}