Boolean Models and Simultaneous Inequalities.

link: http://arxiv.org/abs/0907.0060
Abstract

Boolean models are applied to deriving operator versions of the classical
Farkas Lemma in the theory of simultaneous linear inequalities.