We propose a term assignment (let calculus) for Intuitionistic Logic for Pragmatics ILPAC, a polarized sequent calculus which includes ordinary positive intuitionistic logic LJ, its dual LJ and dual negations ( ) which allow a formula to “communicate” with its dual fragment. We prove the strong normalization property for the term assignment which follows by soundly translating the let calculus ...

We study the proof-theory of co-Heyting algebras and present a calculus of continuations typed in the disjunctive–subtractive fragment of dual intuitionistic logic. We give a single-assumption multiple-conclusions Natural Deduction system NJ for this logic: unlike the best-known treatments of multiple-conclusion systems (e.g., Parigot’s λ−μ calculus, or Urban and Bierman’s term-calculus) here t...

in this note we consider the notion of intuitionistic fuzzy (weak) dual hyper k-ideals and obtain related results. then we classify this notion according to level sets. after that we determine the relationships between intuitionistic fuzzy (weak) dual hyper k-ideals and intuitionistic fuzzy (weak) hyper k-ideals. finally, we define the notion of the product of two intuitionistic fuzzy (weak) du...

0

thrombotic thrombocytopenic purpura (ttp) is a rare syndrome affecting multiple organs. there is no sufficient evidence regarding the clinical cardiac manifestations of ttp. nonetheless, pathologic cardiac involvement is quite frequent in acute ttp, which is predominantly manifested as myocardial necrosis due to coronary arteriolar microthrombosis. the present case report describes a 43-year-ol...

littoral cell angioma is a splenic vascular tumor of splenic sinus lining cells that is considered benign in general. this report describes a case of littoral cell angioma with no malignant histological features. the lesion is composed of anastomosing vascular channels resembling splenic sinus; they are lined by endothelial cells which show mitotic activity very rare. immunohistochemically, the...