Strong Normalization for Truth Table Natural Deduction.

Saved in:

Bibliographic Details
Title:	Strong Normalization for Truth Table Natural Deduction.
Authors:	Geuvers, Herman¹, herman@cs.ru.nl, van der Giessen, Iris², i.vandergiessen@uu.nl, Hurkens, Tonny³, hurkens@science.ru.nl, Altenkirch, Thorsten, Schubert, Aleksy
Source:	Fundamenta Informaticae; 2019, Vol. 170 Issue 1-3, p139-176, 38p
Database:	Applied Science & Technology Source

Description
ISSN:	01692968
DOI:	10.3233/FI-2019-1858