|
|||||
|
|
Prolegomena of a Logic of Causality and Dynamism |
|
| Authors: | Bellot P Cottin J-P Robinet B Sarni D Leneutre J Zarpas E |
| Abstract: | We present in this article a new logical system inspired from linear logic. This system is designed in order to express causality and dynamism. The cut elimination theorem holds for this logic. Examples of applications are given. |
| Keywords: | Linear logic causality actions |
| 本文献已被 SpringerLink 等数据库收录！ | |