A deficiency of natural deduction

DOI10.1016/0020-0190(87)90166-9zbMath0647.03044OpenAlexW2075721591MaRDI QIDQ1104317

J. G. Wiltink

Publication date: 1987

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(87)90166-9

zbMATH Keywords

efficiency of proofsGentzen's system of natural deduction

Mathematics Subject Classification ID

Logic of natural languages (03B65) Complexity of proofs (03F20) Relative consistency and interpretations (03F25)

Related Items (2)

Structured calculational proof ⋮ The associativity of equivalence and the Towers of Hanoi problem

Cites Work

• Untersuchungen über das logische Schliessen. I

This page was built for publication: A deficiency of natural deduction