An extended framework for specifying and reasoning about proof systems.
Journal of Logic and Computation(2016)
摘要
It has been shown that linear logic can be successfully used as a framework for both specifying proof systems for a number of logics, as well as proving fundamental properties about the specified systems. This article shows how to extend the framework with subexponentials in order to declaratively encode a wider range of proof systems, including a number of non-trivial proof systems such as multi-...
更多查看译文
关键词
xxx
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络