Peano Arithmetic and $\hat{I}¼$MALL

Matteo Manighetti, Dale Miller

Formal theories of arithmetic have traditionally been based on either classical or intuitionistic logic, leading to the development of Peano and Heyting arithmetic, respectively. W…