Abstract Monotone function problems are introduced on a very elementary level to reveal the close connection certain statistical problems. Equations $$F(x) = c$$ F ( x ) = c and inequalities \ge <mml:mo...

This paper proposes a simple model selection test between the Gompertz and the Logistic growth models based on parameter significance testing in a comprehensive linear regression. Simulations studies are provided to show the accuracy of the method. Two real-data examples are also provided to illustrate the implementation of the proposed method in practice.

Linear resolution with selection function (SL.resolution) is a restricted form of linear resolution. The main restriction is e~ected by a selection function which chooses fro:~ each clause a sit, gle literal to be resolved upon in that clause. This and other restrictions are adapted to linear resolution from Loveland's model elimination. We show that SL-resolution achieves a substantial reducti...

Recently, several diierent sound and complete tableau cal-culi were introduced, all sharing the idea to use a selection function and so-called restart clauses: A-ordered tableaux, tableaux with selection function, and strict restart model elimination. We present two new sound and complete abstract tableau calculi which generalize these on the ground level. This makes diierences and similarities...