3 citations · 5 across the 3 of their papers we have counts for
1 paper · 2 filters
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…