no code implementations • 20 Jan 2015 • Albert Atserias, José L. Balcázar, Marie Ely Piceno
By exploiting a previously noted alternative view of the entailment in terms of linear programming duality, we characterize exactly the cases of entailment from arbitrary numbers of premises, again both in the stand-alone case and in the case of presence of additional classical implications.