Greg’s paper “Structural Rules in Natural Deduction with Alternatives” has been published in the Bulletin of the Section of Logic.
Greg’s paper “Structural Rules in Natural Deduction with Alternatives” has been published in the Bulletin of the Section of Logic.