Inequality without irre exivity
نویسنده
چکیده
This paper presents the axiomatization | without the rule of irreeex-ivity | of the modal logic of inequality as well as a method for proving its completeness. This method uses the technics of the frame of subordi-nation.
منابع مشابه
Recursively Deened Quasi Orders on Terms
We study the problems involved in the recursive de nition of (quasi) orders on terms, focussing on the question of establishing well-de nedness, and the properties required for partial and quasi-orders: irre exivity and transitivity, and re exivity and transitivity, respectively. These properties are in general di cult to establish and this has in many cases come down in the literature as folkl...
متن کاملThe IrrE protein of Deinococcus radiodurans R1 is a novel regulator of recA expression.
IRS24 is a DNA damage-sensitive strain of Deinococcus radiodurans strain 302 carrying a mutation in an uncharacterized locus designated irrE. Five overlapping cosmids capable of restoring ionizing radiation resistance to IRS24 were isolated from a genomic library. The ends of each cloned insert were sequenced, and these sequences were used to localize irrE to a 970-bp region on chromosome I of ...
متن کاملConservation and diversity of the IrrE/DdrO‐controlled radiation response in radiation‐resistant Deinococcus bacteria
The extreme radiation resistance of Deinococcus bacteria requires the radiation-stimulated cleavage of protein DdrO by a specific metalloprotease called IrrE. DdrO is the repressor of a predicted radiation/desiccation response (RDR) regulon, composed of radiation-induced genes having a conserved DNA motif (RDRM) in their promoter regions. Here, we showed that addition of zinc ions to purified a...
متن کاملSignificant Rewiring of the Transcriptome and Proteome of an Escherichia coli Strain Harboring a Tailored Exogenous Global Regulator IrrE
Cell reprogramming for microorganisms via engineered or artificial transcription factors and RNA polymerase mutants has presented a powerful tool for eliciting complex traits that are practically useful particularly for industrial strains, and for understanding at the global level the regulatory network of gene transcription. We previously further showed that an exogenous global regulator IrrE ...
متن کاملIrrE, a Global Regulator of Extreme Radiation Resistance in Deinococcus radiodurans, Enhances Salt Tolerance in Escherichia coli and Brassica napus
BACKGROUND Globally, about 20% of cultivated land is now affected by salinity. Salt tolerance is a trait of importance to all crops in saline soils. Previous efforts to improve salt tolerance in crop plants have met with only limited success. Bacteria of the genus Deinococcus are known for their ability to survive highly stressful conditions, and therefore possess a unique pool of genes conferr...
متن کامل