Towards a canonical classical natural deduction system

机译：走向经典的经典自然演绎系统

代理获取

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

页面导航

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

摘要

Preprint submitted to Elsevier, 6 July 2012

机译：预印本已提交给Elsevier，2012年7月6日

著录项

作者
Espírito Santo José;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Towards a canonical classical natural deduction system [J] . Espírito Santo J. Annals of Pure and Applied Logic . 2013,第6期

机译：走向经典的经典自然演绎系统
2. Label-free natural deduction systems for intuitionistic and classical modal logics [J] . Didier Galmiche, Yakoub Salhi Journal of applied non-classical logics . 2010,第4期

机译：用于直觉和经典模态逻辑的无标签自然演绎系统
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. Towards a Canonical Classical Natural Deduction System [C] . Jose Espfrito Santo Computer science logic . 2010

机译：走向经典的经典自然演绎系统
5. A Flexible, Natural Deduction, Automated Reasoner for Quick Deployment of Non-classical Logic [D] . Mukhopadhyay, Trisha. 2019

机译：灵活，自然演绎的自动推理机，可快速部署非经典逻辑
6. Differential Expression of Canonical (Classical) Transient Receptor Potential Channels in Guinea Pig Enteric Nervous System [O] . Sumei Liu, Mei-Hua Qu, Wei Ren, -1

机译：典范（经典）瞬态受体电位通道在豚鼠肠神经系统中的差异表达。
7. Towards a canonical classical natural deduction system [O] . José Espírito Santo 2012

机译：走向经典的经典自然演绎系统
8. Systems of Natural Deduction Without Essential Restrictions on Variables [R] . Bing, K. 1968

机译：无变量基本约束的自然演绎系统

Towards a canonical classical natural deduction system

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅