About Folding-Unfolding Cuts and Cuts Modulo

GILLES DOWEK

首页> 外文期刊>Journal of logic and computation >About Folding-Unfolding Cuts and Cuts Modulo

【24h】

About Folding-Unfolding Cuts and Cuts Modulo

机译：关于折叠展开的切口和切口模数

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

We show in this note that cut elimination in deduction modulo subsumes cut elimination in deduction with the folding and unfolding rules.

机译：我们在此注释中显示，扣减的模消除包含折叠与展开规则的扣消除。

著录项

来源
《Journal of logic and computation》 |2001年第3期|p.419-429|共11页
作者
GILLES DOWEK;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
Natural deduction; cut elimination; deduction modulo;

机译：自然演绎;削减淘汰;演绎模;

相似文献

外文文献
中文文献
专利

1. Regaining cut admissibility in deduction modulo using abstract completion [J] . Guillaume Burel, Claude Kirchner Information and computation . 2010,第2期

机译：使用抽象补全重新计算演绎模中的割入率
2. Effects of electrolyzed water treatment on pre-cut green onion at pre-cut vegetables processing plant and its influences to quality of pre-cut green onion (enhancement of sterilization effect on pre-cut vegetable using electrolyzed water part II). [J] . Yoshida K, Achiwa N, Katayose M, 日本食品科学工学会誌 . 2005,第6期

机译：电解水处理对预切蔬菜加工厂的预切葱的影响及其对预切葱的质量的影响（增强对使用电解水的预切蔬菜的杀菌效果）。
3. Effects of electrolyzed water treatment on pre-cut green onion at pre-cut vegetables processing plant and its influences to quality of pre-cut green onion (enhancement of sterilization effect on pre-cut vegetable using electrolyzed water part II). [J] . Yoshida K, Achiwa N, Katayose M, 日本食品科学工学会誌 . 2005,第6期

机译：电解水处理对预切割蔬菜加工厂预切绿洋葱的影响及其对预切绿洋葱的质量影响（使用电解水第II天灭菌灭菌效果的增强灭菌效应）。
4. Cut Elimination in Deduction Modulo by Abstract Completion [C] . Guillaume Burel, Claude Kirchner International Symposium on Logical Foundations of Computer Science(LFCS 2007); 20070604-07; New York,NY(US) . 2007

机译：通过抽象补全来减少演绎模中的消除
5. To Cut or Not to Cut: The Association Between Weight Loss and Cardiometabolic Health in Adolescents and Adults After Roux-En-Y Gastric Bypass [D] . Brissman, Markus. 2021

机译：切割或不切割：在Roux-Zh-Y胃旁路后青少年和成人体重减轻和心肌截止的关联
6. Cut cut cut [O] . Dougal Jeffries 2010

机译：切切切
7. About Folding-Unfolding Cuts and Cuts Modulo [O] . Dowek Gilles 2000

机译：关于折叠展开的切口和切口模数

About Folding-Unfolding Cuts and Cuts Modulo

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅