Towards a Combinatorial Proof Theory
Towards a Combinatorial Proof Theory
复制标题
走向组合证明理论
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Lutz Straßburger
中科院分区：
文献类型：
--
作者：
B. Ralph;Lutz Straßburger
一个经典的组合证明的主要部分是一个倾斜的纤维，它精确地捕捉了削弱和收缩的行为。放宽这两条规则的存在，就会产生一定的子结构逻辑和子结构证明理论。本文研究了用其他类型的图同态代替斜纤振的结果。这将我们引向新的逻辑和证明系统，我们称之为组合。
The main part of a classical combinatorial proof is a skew fibration, which precisely captures the behavior of weakening and contraction. Relaxing the presence of these two rules leads to certain substructural logics and substructural proof theory. In this paper we investigate what happens if we replace the skew fibration by other kinds of graph homomorphism. This leads us to new logics and proof systems that we call combinatorial.