We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...

The synthesis and antibacterial activity of 1beta-methylcarbapenems with quaternary ammonium groups at the C-2 position have been studied. Two types of new carbapenem derivatives have been synthesized. These 1beta-methylcarbapenems, one type having a (2S,4S)-2-[1,1-dimethyl-2-(1-piperazinyl)carbonyl]pyrrolidinio-4-+ ++ylthio group and the other type having a (2S,4S)-2-(4-carbamoylmethyl-4-methy...

a new hybrid nanomaterial was developed by immobilization of phosphomolybdate anions on the surface of modified magnetite nanoparticles with quaternary phosphonium cations. silica coated magnetic nanoparticles supported phosphonium cations, ph3p+-scmnps, were prepared by covalent attachment of chloropropylsilyl groups on the surface of silica coated magnetite nanoparticles and next reaction wit...

A polyubiquitin comprises multiple covalently linked ubiquitins and recognizes myriad targets. Free or bound to ligands, polyubiquitins are found in different arrangements of ubiquitin subunits. To understand the structural basis for polyubiquitin quaternary plasticity and to explore the target recognition mechanism, we characterize the conformational space of Lys63-linked diubiquitin (K63-Ub2)...

The Quaternary has been described as an important time for genetic diversification and speciation. This is based on the premise that Quaternary climatic conditions fostered the isolation of populations and, in some instances, allopatric speciation. However, the 'Quaternary Ice-Age speciation model' rests on two key assumptions: (i) that biotic responses to climate change during the Quaternary w...

An in situ IR technique was applied in the selective synthesis of the key intermediate for rapamycin derivatives, which made the reaction endpoint easily defined. This technology solved a bothersome problem in the preparation of rapamycin derivatives, and based on this technique, the 31-OH and 42-OH of rapamycin were chemically modified by a series of quaternary ammonium salts to generate 11 co...

In this paper, a new construction of quaternary bent functions from quaternary quadratic forms over Galois rings of characteristic 4 is proposed. Based on this construction, several new classes of quaternary bent functions are obtained, and as a consequence, several new classes of quadratic binary bent and semi-bent functions in polynomial forms are derived. This work generalizes the recent wor...

The periodicity of the genus sequences of the heaps of finite quaternary games are examined. While the truncated genus sequence of the heaps of finite quaternary games becomes periodic, this is not true for the genus sequence in general. This contrasts with the known result that the genus sequence of the heaps of all finite subtraction games, a subset of finite quaternary games, becomes periodic.

We report synthesis of surface-active quaternary amino polyfluorosiloxanes. Hydrosilation of silanic hydrogen containing polyfluorosiloxanes with olefinic epoxides, in the presence of a platinum–divinyltetramethyldisiloxane complex gave epoxy polyfluorosiloxanes. These, on further reaction with various amines followed by quaternization, gave quaternary amino polyfluorosiloxanes. The quaternary ...