On Model-Theoretic Strong Normalization for Truth-Table Natural Deduction
- Publication date
- 1 January 2021
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 26th International Conference on Types for Proofs and Programs (TYPES 2020)