Positive Arithmetic Without Exchange Is a Subclassical Logic.

Stefano Berardi, Makoto Tatsuta

Browse the full APLAS paper archive.