J Y Girard

Learn More
plus a principle of indirect proof for atomic sentences"(p. 244), and \one may doubt whether this is the proper way of analysing classical inferences"(p. 244{245). Prawitz suggested that a good candidate for this role could be the classical sequent calculus, since its rules are \closer to the classical meaning of the logical constants"(p. 245). More(More)
Although rare, ischemic necrosis of the head of the radius after fracture is a theoretic possibility. The epiphyseal vascularisation of the proximal end of the radius was studied by dissection and diaphanisation techniques. The main extra-osseous supply is derived from epiphyseo-metaphyseal arteries given off by the recurrent radial a. and the first(More)
  • 1