A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including 'donkey ...

Studia Logica: An International Journal for Symbolic Logic, Vol. 50, No. 2 (1991), pp. 299-319 (21 pages) This paper shows a role of the contraction rule in decision problems for the logics weaker ...

SUMMARY: At the beginning of the 20th century, philosophical thought was transformed by the discovery of the "new logic", i.e. mathematical or symbolic logic. With this novum organum, philosophers ...