A model for reasoning about persistence and causation

Turner's logic of universal causation is a general logic for nonmonotonic reasoning. It has its origin in McCain and Turner's causal action theories which have been translated to propositional logic and logic programming with nested expressions. In this ...

This paper studies the general nonautonomous predator-prey Lotka-Volterra systems with infinite delays. The sufficient and necessary conditions of integrable form on the permanence and persistence of species are established. A very interesting and ...