关于置换切割与收缩的论文题目。

摘要：直接消除规则混合的直觉命题逻辑简化过程中，引入切割的方法被提出。在切割推演过程中，把切割上移至压缩成一个简化步骤。此过程的介绍首先通过切割与压缩成交换的角度对Gentzen的消除混合规则的方法进行了分析。同时也证明在没有蕴含的情况下，切割上移至压缩并不会对直接消除切割造成问题。

作者：Mirjana Borisavljevic (U. of Belgrade), Kosta Dosen (U. of Toulouse III), Zoran Petric (U. of Belgrade)

论文ID：math/9911065

分类：Logic

分类简称：math.LO

提交时间：2007-05-23

PDF 下载： 英文版 中文版pdf翻译中