排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
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. 相似文献
1