No abstract

We here report a case of a 18-year-old man with a history of recurrent abdominal pain and a previous episode of severe acute pancreatitis. Abdominal ultrasonography, contrast enhanced multislice computer tomography, endoscopic retrograde cholangiopancreatography, endoscopic ultrasonography and magnetic resonance imaging demonstrated a cystic mass lesion. Only on delayed phase magnetic resonance images after Gadolinium-BOPTA injection, it was possible to demonstrate the lesionos relationship with the biliary tree, differentiating the lesion from intraluminal duodenal diverticulum, and to achieve the diagnosis of duodenal duplication cyst, a recognized rare cause of acute pancreatitis. The diagnosis was confirmed by histology.

In this paper we present LSJ, a contraction-free sequent calculus for Intuitionistic propositional logic whose proofs are linearly bounded in the length of the formula to be proved and satisfy the subformula property. We also introduce a sequent calculus RJ for intuitionistic unprovability with the same properties of LSJ. We show that from a refutation of RJ of a sequent σ we can extract a Kripke countermodel for σ . Finally, we provide a procedure that given a sequent σ returns either a proof of σ in LSJ or a refutation in RJ such that the extracted counter-model is of minimal depth.

Hemangioma is an extremely frequent tumor, accounting for 7% of all benign neoplasms. In contrast, hemangioma arising in blood vessels is rare and should be differentiated from other neoplasms of vascular origin, such as hemangioendothelioma, hemangiopericytoma, hemangiosarcoma, and leiomyosarcoma. The case we report has the peculiarity of occurring as a lateral neck mass in which color-coded duplex sonography contributed significantly to diagnosis.

MultifocaL IPMT of the side branches shows a constant but very slow progression over time. In our series, only 2/26 patients showed mural nodules.