Cut-elimination is the most important proof transformation in logic. Equality is a central paradigm in mathematics and plays a key role in automated deduction. Therefore its importance awakes the necessity of integrating equality into existing cut-elimination methods. In this paper we extend the resolution-based method of cut-elimination CERES to CERES-e by adding equality (and paramodulation t...

A new Faustmann optimal rotation harvesting stands’ problem under Brown geometric price and Logistic and Gompertz wood stock, diffusions is presented. The optimal cut policies for the stochastic Faustmann model and the single harvest rotation or Vicksell model are evaluated in the case of a Chilean Radiata pine forest company. The company cut policy validates the Vicksell model, its optimal cut...