首页> 外文OA文献 >Natural Deduction Systems for Intuitionistic Substructural Logics and their Strong Normalization(Theory of Rewriting Systems and Its Applications)

【2h】

Natural Deduction Systems for Intuitionistic Substructural Logics and their Strong Normalization(Theory of Rewriting Systems and Its Applications)

机译：直觉子结构逻辑的自然演绎系统及其强规范化（重写系统理论及其应用）

代理获取

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

页面导航

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

著录项

作者
Mouri Motohiko;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Label-free natural deduction systems for intuitionistic and classical modal logics [J] . Didier Galmiche, Yakoub Salhi Journal of applied non-classical logics . 2010,第4期

机译：用于直觉和经典模态逻辑的无标签自然演绎系统
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. Hyper Natural Deduction for Godel Logic-A natural deduction system for parallel reasoning [J] . Beckmann Arnold, Preining Norbert Journal of logic and computation . 2018,第6期

机译：Godel Logic的超自然演绎-一种用于并行推理的自然演绎系统
4. Strong Normalization of Classical Natural Deduction with Disjunction [C] . Philippe de Groote International Conference on Typed Lambda Calculi and Applications . 2001

机译：典型自然扣除与分离的强烈标准化
5. Modular finite state machines for logic control: Theory, verification and applications to reconfigurable manufacturing systems. [D] . Endsley, Eric William. 2004

机译：用于逻辑控制的模块化有限状态机：理论，验证和可重构制造系统的应用。
6. Novel Applications of Intuitionistic Fuzzy Digraphs in Decision Support Systems [O] . Muhammad Akram, Ather Ashraf, Mansoor Sarwar -1

机译：直觉模糊图在决策支持系统中的新应用
7. On embedding of classical substructural logics(Theory of Rewriting Systems and Its Applications) [O] . Fujita Ken-etsu 1995

机译：关于经典子结构逻辑的嵌入（重写系统理论及其应用）
8. Conditional Rewriting Logic: Deduction, Models and Concurrency [R] . Meseguer, J. 1990

机译：条件重写逻辑：演绎，模型和并发

Natural Deduction Systems for Intuitionistic Substructural Logics and their Strong Normalization(Theory of Rewriting Systems and Its Applications)

著录项

引文网络

相似文献

相关主题

期刊订阅