An Avron rule for fragments of R-mingle

Axiomatic bases of admissible rules are obtained for fragments of the substructural logic R-mingle. In particular, it is shown that a ‘modus-ponens-like’ rule introduced by Arnon Avron forms a basis for the admissible rules of its implication and implication–fusion fragments, while a basis for the admissible rules of the full multiplicative fragment requires an additional countably infinite set of rules. Indeed, this latter case provides an example of a three-valued logic with a finitely axiomatizable consequence relation that has no finite basis for its admissible rules.

Plano del lago de Almenara [Material gráfico] = Plan de lac Almenara = Plan of the lake of Almenara ; Fragmentos de un templo cerca del lago de Almenara = Fragments d'un temple prés du lac d'Almenara = Fragments of a temple near the lake of Almenara

Estampada en la misma hoja con el grabado de "Vista de Almenara, tomada de Murviedro" y con huella de plancha común (53'5 x 31'5 cm)

Dominant negative inhibition by fragments of a monomeric enzyme

Dominant negative inhibition is most commonly seen when a mutant subunit of a multisubunit protein is coexpressed with the wild-type protein so that assembly of a functional oligomer is impaired. By analogy, it should be possible to interfere with the functional assembly of a monomeric enzyme by interfering with the folding pathway. Experiments in vitro by others suggested that fragments of a monomeric enzyme might be exploited for this purpose. We report here dominant negative inhibition of bacterial cell growth by expression of fragments of a tRNA synthetase. Inhibition is fragment-specific, as not all fragments cause inhibition. An inhibitory fragment characterized in more detail forms a specific complex with the intact enzyme in vivo, leading to enzyme inactivation. This fragment also associated stoichiometrically with the full-length enzyme in vitro after denaturation and refolding, and the resulting complex was catalytically inactive. Inhibition therefore appears to arise from an interruption in the folding pathway of the wild-type enzyme, thus suggesting a new strategy to design dominant negative inhibitors of monomeric enzymes.