On the strong normalisation of natural deduction with permutation-conversions

机译：关于置换变换对自然演绎的强归一化

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

We present a modular proof of the strong normalisation of intuitionistic logic with permutation-conversions.This proof is based on the notions of negative translation and CPS-simulation.

机译：我们提供了具有置换变换的直觉逻辑的强大归一化的模块化证明，该证明基于否定翻译和CPS模拟的概念。

著录项

来源
《Rewriting techniques and applications》|1999年|p.45-59|共15页
会议地点 Trento(IT);Trento(IT)
作者
philippe de Groote;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Strong Normalization for Truth Table Natural Deduction [J] . Geuvers Herman, van der Giessen Iris, Hurkens Tonny Fundamenta Informaticae . 2019,第1a3期

机译：真值表自然推论的强归一化
2. On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem [J] . Aschieri Federico, Zorzi Margherita Theoretical computer science . 2016,第Null期

机译：关于经典一阶逻辑的自然推论：Curry-Howard对应，强归一化和Herbrand定理
3. Corrigendum to "Strong normalization proof with CPS-translation for second order classical natural deduction" [J] . Koji Nakazawa, Makoto Tatsuta Journal of Symbolic Logic . 2003,第4期

机译：有关“使用CPS翻译进行二阶经典自然演绎的强大归一化证明”的勘误
4. On the strong normalisation of natural deduction with permutation-conversions [C] . philippe de Groote International conference on rewriting techniques and applications . 1999

机译：论置换折放自然扣除的强烈标准化
5. Natural language explanation of natural deduction proofs. [D] . Edgar, Andrew. 1991

机译：自然语言解释的自然演绎证明。
6. The Laws of Natural Deduction in Inference by DNA Computer [O] . Łukasz Rogowski, Petr Sosík -1

机译：DNA计算机推论的自然演绎法则
7. On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-Conversions [O] . de Groote Philippe 2002

机译：具有置换变换的直觉自然演绎的强归一化

On the strong normalisation of natural deduction with permutation-conversions

摘要

著录项

相似文献

相关主题

期刊订阅