On the Meta-logie of AS

We show that AS is consistent with respect to negation; i.e. that where X is any wff of AS, X and ~X are not both derivable.