Now showing items 1-1 of 1

    • General-elimination stability 

      Jacinto, Bruno Miguel; Read, Stephen Louis (2017-04) - 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 ...