A note on Robinson consistency lemma

Marc Aiguier (1) , Pierre-Yves Schobbens (2)

1 IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
2 PReCISE

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.

Domaines: Langage de programmation [cs.PL]; Web; Génie logiciel [cs.SE]; Système multi-agents [cs.MA]

Marc Aiguier, Pierre-Yves Schobbens. A note on Robinson consistency lemma. 2006, pp.13. ⟨hal-00341982⟩