Now showing items 1-1 of 1

  • General-elimination stability 

    Jacinto, Bruno Miguel; Read, Stephen Louis (2016-10-18) - Journal article
    General-elimination harmony articulates Gentzen's idea that the elimination-rules are justified if they infer from an assertion no more than can already be inferred from the grounds for making it. Dummett described the ...