Open Access
Winter 1999 Rules and Arithmetics
Albert Visser
Notre Dame J. Formal Logic 40(1): 116-140 (Winter 1999). DOI: 10.1305/ndjfl/1039096308


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


Download Citation

Albert Visser. "Rules and Arithmetics." Notre Dame J. Formal Logic 40 (1) 116 - 140, Winter 1999.


Published: Winter 1999
First available in Project Euclid: 5 December 2002

zbMATH: 0968.03071
MathSciNet: MR1811206
Digital Object Identifier: 10.1305/ndjfl/1039096308

Primary: 03F50
Secondary: 03F30

Rights: Copyright © 1999 University of Notre Dame

Vol.40 • No. 1 • Winter 1999
Back to Top