View article

In standard model theory, Robinson's consistency property (RCP) is expressed as follow: Two theories T1 and T2 which have (at least) a model, and do not contradict each other on the common language (i.e. there is no formula ' built up from atoms occurring both in T1 and T2 such that T1 |= ' and T2 |= ¬'), then T1 ∪ T2 has a model.