the GNU version of the Collaborative International Dictionary of English
n. Premise.
The Century Dictionary and Cyclopedia
n. See premise.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.
v. take something as preexisting and given
n. a statement that is assumed to be true and from which a conclusion can be drawn
Word Usage
"The standard terminology today is “cut elimination theorem” All of the logical rules of SC have the subformula property in a very immediate sense: each formula in a premiss is a formula or subformula in the conclusion."