论文部分内容阅读
在古典主义逻辑的叙列演算系统CL中,由于使用到收缩和弱化规则而使这样的逻辑系统很难应用到证明论和计算机科学的领域中去.Girard给出了不使用这两个规则的线性逻辑的叙列演算系统LL,他使不同的合取联结词以及不同的析取样结词来分别处理Multiplicative和Additive的情形从而得到许多兴味盎然的结论并使得该系统具有广阔的应用前景.