On the period of sequences ( A n (p) ) in intuitionistic propositional calculus
Wim Ruitenburg · Journal of Symbolic Logic · 1984
In classical prepositional calculus for each proposition A(p) the following holds: ⊢ A(p) ↔ A 3 (p) . In this paper we consider what remains of this in the intuitionistic case. It turns out that for each proposition A(p) the following holds: there is an n ∈ N such that As a byproduct of the proof we give some theorems which may be useful elsewhere in propositional calculus.