Inferencia Deductiva para los Interiores y Exteriores de las Teorías Horn