Kripke Semantics for Modal Substructural Logics

We introduce Kripke semantics for modal substructural logics, and provethe completeness theorems with respect to the semantics. Thecompleteness theorems are proved using an extended Ishihara's method ofcanonical model construction (Ishihara, 2000). The framework presentedcan deal with a broad range of modal substructural logics, including afragment of modal intuitionistic linear logic, and modal versions ofCorsi's logics, Visser's logic, Méndez's logics and relevant logics.     

Phase equilibria of quasi-binary systems consisting of multicomponent polymers 1 and 2. IV: Poly(ethylene oxide)/poly(propylene oxide) systems

To confirm the reliability of the theory of phase equibria of multicomponent polymer 1/multicomponent polymer 2 systems (i.e. quasi-binary systems) and the method of computer experiment based on this theory (Brit. Polym. J., 23 (1990)285; 23 (1990)299; Polym. Int., 29 (1992)219), could point curves (CPC), two-phase volume ratios ( R ) and critical solution points (CSP) have been determined experimentally for the quasi-binary mixtures of poly(ethylene oxide) (M¯_w = 647, M¯_w/M¯_n = 1.15; M¯_w and M¯_n, the weight-average and numberaverage molecular weights, respectively) and poly(propylene oxide) (M¯_w = 2028, M¯_w/M¯_n = 1.08; and M_w = 2987, M_w/M_n = 1.13). The hydroxyl end groups of both polymers were methoxylated in advance by the Cooper & Booth method (Polymer, 18 (1977)164). The thermodynamic interaction parameter between both polymers, χ₁₂, and the concentration dependence parameters for the above quasi-binary systems were determined by the method proposed in a previous paper (Brit. Polym. J., 23 (1990)299). CPC, R and CSP values calculated on the basis of the theory are in good agreement with the values determined experimentally.     

Modal and Intuitionistic Variants of Extended Belnap–Dunn Logic with Classical Negation

In this study, we introduce Gentzen-type sequent calculi BDm and BDi for a modal extension and an intuitionistic modification, respectively, of De and Omori’s extended Belnap–Dunn logic BD+ with classical negation. We prove theorems for syntactically and semantically embedding BDm and BDi into Gentzen-type sequent calculi S4 and LJ for normal modal logic and intuitionistic logic, respectively. The cut-elimination, decidability, and completeness theorems for BDm and BDi are obtained using these embedding theorems. Moreover, we prove the Glivenko theorem for embedding BD+ into BDi and the McKinsey–Tarski theorem for embedding BDi into BDm.

     

New class of cellulose fiber spun from the novel solution of cellulose by wet spinning method

A novel cellulose solution, prepared by dissolving an alkali-soluble cellulose, which was obtained by the steam explosion treatment on almost pure natural cellulose (soft wood pulp), into the aqueous sodium hydroxide solution with specific concentration (9.1 wt %) was employed for the first time to prepare a new class of multifilament-type cellulose fiber. For this purpose a wet spinning system with acid coagulation bath was applied. The mechanical properties and structural characteristics of the resulting cellulose fibers were compared with those of regenerated cellulose fibers such as viscose rayon and cuprammonium rayon commercially available. X-ray analysis shows that the new cellulose fiber is crystallographically cellulose II, and its crystallinity is higher but its crystalline orientation is slightly lower than those of other commercial regenerated fibers. The degree of breakdown of intramolecular hydrogen bond at C₃[X_am(C₃)] of the cellulose fiber, as determined by solid-state cross-polarization magic-angle sample spinning (CP/MAS) ¹³C NMR, is much lower than other, and the NMR spectra of its dry and wet state were significantly different from each other, indicating that cellulose molecules in the new cellulose fiber are quite mobile when wet. This phenomenon has not been reported for so-called regenerated cellulose fibers.     

Paraconsistent Computation Tree Logic

It is known that paraconsistent logical systems are more appropriate for inconsistency-tolerant and uncertainty reasoning than other types of logical systems. In this paper, a paraconsistent computation tree logic, PCTL, is obtained by adding paraconsistent negation to the standard computation tree logic CTL. PCTL can be used to appropriately formalize inconsistency-tolerant temporal reasoning. A theorem for embedding PCTL into CTL is proved. The validity, satisfiability, and model-checking problems of PCTL are shown to be decidable. The embedding and decidability results indicate that we can reuse the existing CTL-based algorithms for validity, satisfiability, and model-checking. An illustrative example of medical reasoning involving the use of PCTL is presented.     

Transient Behavior of Gas Entrainment Caused by Surface Vortex

A compact sodium-cooled reactor is an important candidate as a fast breeder reactor (FBR) and has been investigated in the feasibility study of FBR cycle. Due to the compact sizing of the reactor vessel, gas entrainment at the free surface of sodium coolant becomes one of the significant issues for reactor design, and it is required to clarify the criterion of gas entrainment at free surface and the tolerance. In the present study, some visualization experiments were performed in a water-air system focusing on the gas entrainment due to surface vortex and its transient phenomena. Influences of horizontal velocity were clarified by the visualization. The gas entrainment due to the surface vortex occurs intermittently. Time trends of circulation and length of gas core for the intermittent surface vortices were measured by the particle image velocimetry and visualization. It was found that the gas core length extends with time delay to the increase of circulation around the vortex.     

Surface activity of aqueous solutions of cellulose acetate with low degree of substitution

Surface activity of aqueous solutions of cellulose acetate (CA) with total degree of substitution (〈F〉) ranging from 0.58 to 0.80 was examined. Critical micelle concentration (CMC) of the aqueous CA solutions, determined from the polymer concentration dependence of surface tension (γ), is unequivocally determined by 〈F〉, and an increase in 〈F〉 of CA brings about a lowering of the CMC. From light scattering measurements on aqueous solutions of CA with 〈F〉 = 0.8 at 20°C, it was revealed that in the vicinity of the CMC the micelles in the solution consist of c. four CA molecules, which is very close to the value obtained by analysing the data obtained from the mass action model. The surface tension of aqueous solutions of CA (〈F〉 = 0.8) in the polymer concentration range above the CMC was c. 0.74 times that of pure water over the temperature range 0–80°C.     

Effect of culture conditions of acetic acid bacteria on cellulose biosynthesis

An attempt was made to clarify the effect of culture conditions of an acetic acid bacteria (Acetobacter xylinum) on cellulose biosynthesis using glucose as carbon source in complex medium. Synchronous culture conditions were first realised on cellulose biosynthesis by cooling the system to 4°C for 24 h. Under the synchronous conditions stepwise division of the cell and the stepwise production of cellulose were found. Furthermore, cellulose was proved to be produced when the cell number in the medium was constant.     

Upregulation of angiotensin-converting enzyme during the healing process after injury at the site of percutaneous transluminal coronary angioplasty in humans

BACKGROUND: Balloon injury models in rat have shown enhanced expression of ACE in the developing neointima. However, neointimal lesions in human coronary arteries are complex due to atherosclerosis and different types of wall laceration. This study was designed to investigate whether ACE is present in the neointima of humans, including patients with restenosis after percutaneous transluminal coronary angioplasty (PTCA). METHODS AND RESULTS: Thirty-seven sites with angioplasty injury, obtained at autopsy, were studied using immunocytochemical techniques. Sites with injury limited to a fibrous plaque and those with injury extending into the media (<2 months after PTCA) showed fibrocellular repair tissue composed mainly of smooth muscle cells that were distinctly positive for ACE. In cellular reactions at the site of injury limited to the atheromatous plaque (<2 months after PTCA), the expression of ACE appeared first in accumulated macrophages; once smooth muscle cells appeared in the repair tissue, they also expressed ACE. At a later stage (3 months after PTCA), the number of cells with ACE expression decreased markedly; from 7 months on, ACE was no longer expressed within the repair tissue. Basically, there were no differences with regard to ACE expression during the healing process after PTCA between segments with and those without angiographic evidence of restenosis. CONCLUSIONS: These results show that PTCA injury in humans results in upregulation of ACE at sites of active repair and, therefore, ACE could play an important role as one of the mediators of the healing process after PTCA.