当前位置:
X-MOL 学术
›
Arch. Math. Logic
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Cut elimination for coherent theories in negation normal form
Archive For Mathematical Logic ( IF 0.3 ) Pub Date : 2024-01-24 , DOI: 10.1007/s00153-023-00902-5 Paolo Maffezioli
中文翻译:
否定范式中相干理论的削减消除
更新日期:2024-01-24
Archive For Mathematical Logic ( IF 0.3 ) Pub Date : 2024-01-24 , DOI: 10.1007/s00153-023-00902-5 Paolo Maffezioli
We present a cut-free sequent calculus for a class of first-order theories in negation normal form which include coherent and co-coherent theories alike. All structural rules, including cut, are admissible.
中文翻译:
否定范式中相干理论的削减消除
我们为一类否定范式的一阶理论提出了一种无割序贯演算,其中包括相干理论和协相干理论。所有结构规则,包括剪切,都是可接受的。