This is an overview of the present-day versions of monadology with some
applications to vector lattices and linear inequalities.
Boolean models are applied to deriving operator versions of the classical
Farkas Lemma in the theory of simultaneous linear inequalities.
Boolean models are applied to deriving operator versions of the classical
Farkas Lemma in the theory of simultaneous linear inequalities.