Strong Normalization for Truth Table Natural Deduction

DOI10.3233/FI-2019-1858zbMATH Open1454.03076OpenAlexW2981667736MaRDI QIDQ5212037

Tonny Hurkens, Iris van der Giessen, H. Geuvers

Publication date: 24 January 2020

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2019-1858

zbMATH Keywords

natural deductionintuitionistic logicstrong normalizationtruth tablesdetour conversionpermutation conversion

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Strong Normalization for Truth Table Natural Deduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5212037)