That backward path is the foundation of Western, linearlogic.
这种反向推论的路径是西方逻辑的基础,即线性逻辑。
3
The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.