Induction in linear logic

Linear logic, introduced by Girardet al., has a great power of expression, but no method for induction. This paper proposes a method of induction using knowledge represented by linear logical formulas. In linear logic, the number of propositions is controlled by logical operators. When a background theory and a hypothesis prove an example, the number of propositions on each side must be equivalent.     

Prostaglandin analogs modified at the 10 and 11 positions

A simplified methodology for the building of prostaglandins substituted at the 10 and 11 positions is presented.     

Synthesis of hydrothermally stable and long-range ordered Ce-MCM-48 and Fe-MCM-48 materials

The hydrothermally stable and long-range ordered Ce-MCM-48 and Fe-MCM-48 were conveniently synthesized at 393 K for 24 h by directly adding fluoride ions to the initial gel without posttreatment and pH adjustment. The Ce-MCM-48 with a Si/Ce of 200 and 100, which were prepared by directly adding fluoride ions, could still maintain their mesoporous structures after refluxing in boiling water for 3 days. The incorporation of Ce into MCM-48 could enhance the hydrothermal stability of MCM-48 in the absence of fluoride ions; however, the incorporation of Fe into MCM-48 materials barely improved the hydrothermal stability of MCM-48 materials. The effect of adding NaF was much more efficient in enhancement of hydrothermal stability than that of the incorporation of Ce. The addition of fluoride ions mainly improves the degree of polymerization of silicates. The Ce(4+) ions in Ce-MCM-48 appear to be present partly in tetrahedral coordination in the framework and partly as CeO(2) particles on the surface of framework. The Ce positioned on the surface of pore walls and in the framework both provide the protection against water attack.     

Possible one-dimensional 3He quantum fluid formed in nanopores

Heat capacity measurements have been made down to 5 mK for 3He fluid films adsorbed in one-dimensional (1D) nanometer-scale pores, 28 A in diameter, preplated with 4He of 1.47 atomic layers. At low 3He density, the heat capacity shows a density-dependent, Schottky-like peak near 150 mK asymptoting to the value corresponding to a 2D Boltzmann gas at high temperatures. The peak behavior is attributed to the crossover from a 2D gas to a 1D state at low temperatures. The degenerate state of the 1D 3He fluid is indicated by a predominantly linear temperature dependence below about 30 mK.     

Clove oil prevents glycyrrhizin gel formation in aqueous solution

One persistent problem with using therapeutic concentrations of glycyrrhizin (GZ) is that, at these high concentrations, it forms a gel in an aqueous solution. We previously solved this problem by dissolving GZ in a highly concentrated phosphate buffer. Unfortunately, the resulting GZ solution has a hyperosmotic pressure that renders it unsuitable for use in patients. The aim of this study was to prepare a highly concentrated GZ solution having an osmotic pressure ratio of 1 and a pH of 7.4. By adding small amounts of oil and using a 100 mM phosphate buffer, we achieved an emulsified GZ solution that is stable at room temperature and has a physiological osmotic pressure and pH. When clove oil was used as an emulsifier, the gel formation temperature of GZ solution decreased appreciably compared to that of GZ solution without clove oil. Using scanning electron microscopy (SEM), we examined the detailed characteristics of GZ gels prepared from solutions with or without clove oil. SEM of cross sections of GZ gels revealed an irregular structure in gels prepared with clove oil, indicating that clove oil prevented the formation of the intermolecular GZ networks typically characterized by gels derived from pure GZ solutions.     

Remote asymmetric induction with vinylketene silyl n,o-acetal

A highly regio- and diastereoselective TiCl4-mediated vinylogous Mukaiyama aldol reaction using the chiral vinylketene silyl N,O-acetal has been developed. The present vinylogous Mukaiyama aldol reaction provides a unique and effective means of controlling remote asymmetric induction. The methyl group at the alpha-position is important in achieving a high level of stereoselectivity. From a synthetic point of view, this methodology can provide a one-step construction of delta-hydroxy-alpha,gamma-dimethyl-alpha,beta-unsaturated carbonyl unit that is seen in many natural polyketide products.     

Quasi-stadium laser diodes with an unstable resonator condition

We have observed lasing in a complicated eigenmode of a quasi-stadium laser diode with an unstable resonator consisting of two curved end mirrors obeying an unstable resonator condition and two straight sidewall mirrors. The laser was fabricated by application of a reactive-ion-etching technique to a molecular beam epitaxy-grown graded-index separate-confinement heterostructure single-quantum-well GaAs/AlGaAs structure. The far-field pattern shows that the lasing mode corresponds to the complicated lowest-loss mode obtained numerically by an extended Fox-Li method.