On the toggling-branching recurrence of Computability Logic

Meixia Qu, Junfeng Luan, Daming Zhu

We introduce a new, substantially simplified version of the toggling-branching recurrence operation of Computability Logic, prove its equivalence to Japaridze's old, "canonical" ve…