nonempty

Supposedly, I'm getting some junk .. fuse: mountpoint is not empty fuse: if you are sure this is safe, use the 'nonempty' mount option Yeah, well, of course it's not empty.

LinuxQuestions.org Cyberman 2010

Aristotelian logic studied certain simple relationships between classes, namely being a subclass of and having a nonempty intersection with.

The Algebra of Logic Tradition Burris, Stanley 2009

Thus, as Tarski notes, if every expression of a language counted as a logical constant, logical validity would reduce to material truth preservation (or, on later versions of Tarski's definition, to material truth preservation on every nonempty domain) (1983, 419).

Logical Constants MacFarlane, John 2009

Was Boole using Aristotelian semantics (where class symbols were nonempty)?

The Algebra of Logic Tradition Burris, Stanley 2009

If B is a structure and X is a nonempty subset of dom (B), then there is a unique smallest substructure of B whose domain contains all of

First-order Model Theory Hodges, Wilfrid 2009

In the second of these the notions bounded above, bounded below, and bounded are defined as in classical mathematics, and the least upper bound, if it exists, of a nonempty [47] set S of real numbers is the unique real number b such that

Continuity and Infinitesimals Bell, John L. 2009

Accordingly suppose we are given an indexed family of nonempty sets

The Axiom of Choice Bell, John L. 2008

Every nonempty inductive partially ordered set has a maximal element.

The Axiom of Choice Bell, John L. 2008

Given a nonempty inductive partially ordered set (P, ‰¤), pick an arbitrary element p0 of P.

The Axiom of Choice Bell, John L. 2008

H be the collection of nonempty subsets of {0, 1}, i.e.,

The Axiom of Choice Bell, John L. 2008