首页> 外文OA文献 >A simple decision procedure for one-variable implicational/negation formulae in intuitionist logic.

【2h】

A simple decision procedure for one-variable implicational/negation formulae in intuitionist logic.

机译：直觉逻辑中的一个变量含义/否定公式的一个简单决策过程。

代理获取

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

页面导航

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

著录项

作者
Storrs McCall;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Constructive Logic with Strong Negation is a Substructural Logic. II [J] . M. Spinks, R. Veroff Studia Logica . 2008,第3期

机译：具有强否定性的构造逻辑是一种子结构逻辑。 II
2. Constructive Logic with Strong Negation is a Substructural Logic. I [J] . Matthew Spinks, Robert Veroff Studia Logica . 2008,第3期

机译：具有强否定性的构造逻辑是一种子结构逻辑。一世
3. Constructive Logic with Strong Negation is a Substructural Logic. II [J] . M. Spinks, R. Veroff Studia Logica . 2008,第3期

机译：具有强否定性的建构逻辑是一种子结构逻辑。 II
4. Negation elimination from simple equational formulae [C] . Reinhard Pichler International Colloquium on Automata, Languages and Programming . 2000

机译：简单方程式公式的否定消除
5. Verification of reactive systems and decision problems in temporal logic. [D] . La Torre, Salvatore. 2001

机译：验证无功系统和时间逻辑中的决策问题。
6. A Multipurpose Interactive Videodisc with Ethical Legal Medical Educational and Research Implications: The Informed Patient Decision-Making Procedure [O] . Harold C. Lyon Jr., Joseph V. Henderson Jr., J. Robert Beck, 1989

机译：具有伦理法律医学教育和研究意义的多功能交互式视频光盘：知情的患者决策程序
7. A modal extension of intuitionist logic. [O] . R. A. Bull 1965

机译：直觉逻辑的模态扩展。

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号