A reduction rule for Peirce formula

DOI10.1007/BF00372774zbMath0857.03004MaRDI QIDQ1919985

Sachio Hirokawa, Yuichi Komori, Izumi Takeuti

Publication date: 11 March 1997

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

lambda calculusCurry-Howard isomorphismcombinatory logicproof reductionreduction rulePeirce's lawclassical combinatorproofs of classical implicational logicweak normalization theorem

Mathematics Subject Classification ID

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

Related Items (2)

A reduction rule for Peirce formula ⋮ 1996–1997 Winter Meeting of the Association for Symbolic Logic

Cites Work

• A reduction rule for Peirce formula
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A reduction rule for Peirce formula