首页> 外文OA文献 >Some correspondences of reduction-procedures between natural deduction and sequent calculus (Sequent Calculi and Proof Theory)

【2h】

Some correspondences of reduction-procedures between natural deduction and sequent calculus (Sequent Calculi and Proof Theory)

机译：自然演绎与后续演算之间的约简程序的某些对应关系（后续演算与证明理论）

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Andou Yuuki;
展开▼
作者单位

展开▼
年度 2003
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics [J] . Poggiolesi Francesca Studia Logica . 2016,第5期

机译：反事实逻辑的自然演绎计算和后续计算
2. A labelled sequent calculus for BBI: proof theory and proof search [J] . ZHE HOU, RAJEEV GORE, ALWEN TIU Journal of logic and computation . 2018,第4期

机译：BBI标记后继演算：证明理论和证明搜索
3. Yet Another Bijection Between Sequent Calculus and Natural Deduction [J] . Cecilia Englander, Gilles Dowek, Edward Hermann Haeusler Electronic Notes in Theoretical Computer Science . 2015,第7期

机译：演算与自然演绎之间的又一个双射
4. Proofs, Upside Down: A Functional Correspondence between Natural Deduction and the Sequent Calculus [C] . Matthias Puech Asian symposium on programming languages and systems . 2013

机译：证明，颠倒了：自然演绎与后续演算之间的功能对应
5. Sequent Calculus: A Logic and a Language for Computation and Duality [D] . Downen, Paul. 2017

机译：后续微积分：计算和对偶的逻辑和语言
6. From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic [O] . Christian Fermüller, Timo Lang, Alexandra Pavlova -1

机译：从真相比较游戏到Gödel逻辑的相依关系计算
7. Natural deduction calculi and sequent calculi for counterfactual logics [O] . Poggiolesi, Francesca 2016

机译：反事实逻辑的自然演绎演算和后续演算
8. Sequent Calculi for Normal Modal Propositional Logics [R] . Wansing, H. 1992

机译：正态模态命题逻辑的后续计算

Some correspondences of reduction-procedures between natural deduction and sequent calculus (Sequent Calculi and Proof Theory)

著录项

引文网络

相似文献

相关主题

期刊订阅