chapter  49
3 Pages

On the Meta-logie of AS

WithG. E. Hughes, D. G. Londey

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.