首页> 外文OA文献 >On the strong completeness theorems for the first-order generalized intuitionistic predicate calculus

【2h】

On the strong completeness theorems for the first-order generalized intuitionistic predicate calculus

机译：一阶广义直觉谓词演算的强完整性定理

页面导航

著录项
相似文献
相关主题

著录项

作者
白井古希男;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. An elimination theorem of uniqueness conditions in the intuitionistic predicate calculus [J] . Nobuyoshi Motohashi Nagoya Mathematical Journal . 1982,第3a4期

机译：直觉谓词演算中唯一性条件的消除定理
2. An Intuitionistic Completeness Theorem for Classical Predicate Logic [J] . Victor N. Krivtsov Studia Logica . 2010,第1期

机译：经典谓词逻辑的直觉完备性定理
3. An Intuitionistic Completeness Theorem for Classical Predicate Logic [J] . Krivtsov V.N. Studia Logica . 2010,第1期

机译：经典谓词逻辑的直觉完备性定理
4. AN EQUATIONAL APPROACH TO THEOREM PROVING IN FIRST-ORDER PREDICATE CALCULUS [C] . Deepak Kapur, Paliath Narendran International Joint Conference on Artificial Intelligence . 2007

机译：一阶谓词微积分证明定理的实体方法
5. FORMALLY INTUITIONISTIC SET THEORIES WITH BOUNDED PREDICATES DECIDABLE. [D] . WOLF, ROBERT STANLEY -1

机译：具有可预测的绑定预测的正式直觉集合论。
6. Theorems in the Inverse Problem in the Calculus of Variations [O] . Jesse Douglas 1940

机译：变分微积分中反问题的定理
7. An elimination theorem of uniqueness conditions in the intuitionistic predicate calculus [O] . Nobuyoshi Motohashi 1982

机译：直觉谓词微积分中唯一性条件的消除定理

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号