This paper contains a proof–theoretic account of unification in intermediate logics. It is shown that many existing results can be extended to fragments that at least contain implication and conjunction. For such fragments, the connection between valuations and most general unifiers is clarified, and it is shown how from the closure of a formula under the Visser rules a proof of the formula und...

2 . Admissible constellations . Let us start with a formal definition : al, 122, . . ., ak is an admissible sequence of integers if the ai's do notform a complete set of residues mod p for any prime p.-Clearly only the primes p 5 k have to be considered . A sequence which is not admissible is called inadmissible . Beginning with the admissible sequence (ai) we now search for constellations of i...

Direct ab initio mapping of induced current density in the pi system of the expanded porphyrin amethyrin shows a picture at variance with the conventional 4npi ascription of antiaromaticity. The ipsocentric orbital model interprets the pattern of currents as a superposition of shell contributions: an intense paratropic ring current concentrated on the inner 20-site cycle, counteracted by a weak...

blow out fracture is a common disease in oculoplastics clinics. one of indication for surgical intervention is entrapment of inferior rectus muscle in the fractured site. in this article authors represent two cases with this disease who underwent surgery for the entrapment of perimuscular fascia without inferior rectus muscle involvement. the results of treatment in both cases were excellent. t...

introduction: fractures of the orbital floor, which are caused by various mechanisms, result in the herniation of periorbital tissue into the paranasal sinuses and its subsequent complications. early diagnosis using various techniques and reduction of fractures are necessary to preserve ocular function and esthetic. use of an endoscope has been associated with some advantages, including a decre...