Abstract
This paper is concerned with the 'logical structure' of arithmetical theories. We survey results concerning logics and admissible rules of constructive arithmetical theories. We prove a new theorem: the admissible
propositional rules of Heyting Arithmetic are the same as the admissible
propositional rules of Intuitionistic Propositional Logic. We provide some
further insights concerning
... read more