Several variants of a first-order simplification rule for nonnormal form tableaux using syntactic constraints are presented. These can be used as a framework for porting methods like unit resolution or hyper tableaux to non-normal form free variable tableaux.

An alternative approach to the semantics of definite descriptions was proposed by Heim in her dissertation [1982]. Heim assigns to pragmatics a larger part of the task of specifying the meaning of definite descriptions than the neo-Russellians do. In Heim’s theory, definite and indefinite NPs are semantically equivalent, and both introduce free variables. The truth conditions proposed by Heim f...

In this paper, a non-stationary errors-in-variables (EIV) model estimation method is proposed and applied to the problem of model estimation for noise-cancellation in transient electromagnetic mineral exploration. Alternative methods for noise cancellation in these systems rely on specific signal characteristics, and are thus less readily transferable to other applications. The proposed method ...