An Intuitionistic Formula Hierarchy Based on High-School Identities

Taus Brock-Nannestad, Danko Ilik

We revisit the notion of intuitionistic equivalence and formal proof representations by adopting the view of formulas as exponential polynomials. After observing that most of the i…