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 predicate logical admissible rules for arithmetical theories
Citation
Albert Visser. "Rules and Arithmetics." Notre Dame J. Formal Logic 40 (1) 116 - 140, Winter 1999. https://doi.org/10.1305/ndjfl/1039096308
Information