so far various methods for optimization presented and one of most popular of them are optimization algorithms based on swarm intelligence and also one of most successful of them is particle swarm optimization (pso). prior some efforts by applying fuzzy logic for improving defects of pso such as trapping in local optimums and early convergence has been done. moreover to overcome the problem of i...

We present a simple term language with explicit operators for erasure, duplication and substitution enjoying a sound and complete correspondence with the intuitionistic fragment of Linear Logic’s Proof Nets. We establish the good operational behaviour of the language by means of some fundamental properties such as confluence, preservation of strong normalisation, strong normalisation of well-ty...