On theories with the general disjunction property

摘要

A property is defined which generalizes both the disjunction property and the instantiation property of Horn clause theories. A necessary and sufficient condition is given for a theory in order to have that property and examples are used to show its applicability.