We present results of experiments on mixtures of olivine tholeiite and mantle harzburgite, at 5 kb and 1050-1150°C, under conditions of controlled hydrogen fugacity. The basalt end-member was Kilauea 1921 olivine tholeiite + 3 wt.% H2O, and the harzburgite end-member was a mixture of olivine and orthopyroxene mineral separates made from a mantle-derived lherzolite xenolith. The experiments on m...

In this paper we offer a system J-Calc that can be regarded as a typed λ-calculus for the {→,⊥} fragment of Intuitionistic Justification Logic. We offer different interpretations of J-Calc, in particular, as a two phase proof system in which we proof check the validity of deductions of a theory T based on deductions from a stronger theory T ′ and computationally as a type system for separate co...

The northeast region of Birjand is located in Lut structural and geological province. In this area we can distinguish two separate volcanic rock groups: intermediate to acidic volcanic rocks, including dacite, andesite, rhyolite and trachyandesite; and basic rocks, including basaltic andesite, mugearite and basalt. In this region, intermediate to acidic rocks, which belong to the Eocene-Miocene...

Rapid communication: Physical and linkage mapping of the porcine calcitonin (CALC) gene" (2002).

introduction the avan cu-fe skarn is located at the southern margin of qaradagh batholith, about 60 km north of tabriz. the skarn-type metasomatic alteration is the result of qaradagh batholith intrusion into the upper cretaceous impure carbonates. the studied area belongs to the central iranian structural zone. in regional scale, the studied area is a part of the zangezour mineralization zone ...