BLOCKIN We BLOCKIN BLOCKIN have BLOCKIN BLOCKIN been asked by the editors of the Journal of Philosophical Logic to write a short comment on his most recent work, published in this issue, based in part on a referee report by one of us, that, unfortunately, did not reach Aldo in time.

In this paper, I construct a generalized Darboux transformation for the nonlocal nonlinear Schrödinger equation with the self-induced parity-time symmetric potential. The N-order rational solution is derived by the iterative rule and it can be expressed by the determinant form. In particular, I calculate first-order and second-order rational solutions and obtain their figures according to diffe...

We present a procedure to decide propositional Dummett logic. This procedure relies on a tableau calculus with a multiple premise rule and optimizations. The resulting implementation outperforms the state of the art graph-based procedure.

We study complexity of methods using rigid variables, like the method of matings or the tableau method, on a decidable class of predicate calculus wi th equality. We show some intrinsic complications introduced by rigid variables. We also consider strategies for increasing multiplicity in rigid-variable methods, and formally show that the use of intelligent strategies can result in an essential...

We show that the expressive power of first-order logic over finite models embedded in a model M is determined by stability-theoretic properties of M . In particular, we show that if M is stable, then every class of finite structures that can be defined by embedding the structures in M , can be defined in pure first-order logic. We also show that if M does not have the independence property, the...

In this article, we revisit the view update framework by Bancilhon and Spyratos in a setting with constraints expressed in first-order logic. We explicitly consider constraints on both the database and the view schemas, along with inter-schema constraints that implicitly define the view mappings. Using the notion of logical definability we give a constructive characterisation of views, their in...

in this paper, we have proposed a new iterative method for finding the solution of ordinary differential equations of the first order. in this method we have extended the idea of variational iteration method by changing the general lagrange multiplier which is defined in the context of the variational iteration method.this causes the convergent rate of the method increased compared with the var...

A new efficient and accurate hybrid reliability method is proposed to estimate risk of an axially loaded single pile considering pile-soil interaction effect. Uncertainties associated with all the design variables are considered appropriately. It intelligently integrates the concepts of the response surface method, the finite difference method, the first-order reliability method, and an iterati...