(logic, model theory) The ⊨ symbol used to denote semantic consequence, or the ⊨ symbol used to denote the fact that the model to the left of it satisfies the set of sentences to its right.

Lacking freshness, motion, or flow; decaying through stillness. / (figuratively) Without progress or change; stale; inactive.

plural of puttony

Third-person singular simple present indicative form of abjure