A unified approximate reasoning theory suitable for both propositional calculus system L* and predicate calculus system Κ*

WANG Guojun; CHIN K. S.; DANG C.Y.

首页> 外文期刊>Science in China. Series F, Information Sciences >A unified approximate reasoning theory suitable for both propositional calculus system L* and predicate calculus system Κ*

【24h】

A unified approximate reasoning theory suitable for both propositional calculus system L* and predicate calculus system Κ*

机译：适用于命题演算系统L *和谓词演算系统Κ*的统一近似推理理论

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

The concepts of metric R_0-algebra and Hilbert cube of type R_0 are introduced. A unified approximate reasoning theory in propositional caculus system L* and predicate calculus system Κ* is established sernantically as well as syntactically, and a unified complete theorem is obtained.

机译：介绍了度量R_0代数和类型R_0的希尔伯特立方的概念。在命题演算系统L *和谓词演算系统KK *中建立了一个统一的近似推理理论，既在语法上也在语法上建立了统一的完整定理。

著录项

来源
《Science in China. Series F, Information Sciences》 |2005年第1期|p.1-14|共14页
作者
WANG Guojun; CHIN K. S.; DANG C.Y.;
展开▼
作者单位

Institute of Mathematics, Shaanxi Normal University, Xi'an 710062, China;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类自然科学总论;情报学、情报工作;
关键词
metric flo-algebra; Hilbert cube of type R_0; metric Lindenbaum algebra of type R_0; approximate reasoning; complete theorem;

机译：度量弗洛代数;R_0类型的希尔伯特立方体;R_0类型的度量Lindenbaum代数;近似推理;完全定理;

相似文献

外文文献
中文文献
专利

1. A unified approximate reasoning theory suitable for both propositional calculus system L* and predicate calculus system Κ* [J] . WANG Guojun, CHIN K. S., DANG C.Y. Science in China, Series F. Information Sciences . 2005,第1期

机译：适用于命题演算系统L *和谓词演算系统Κ*的统一近似推理理论
2. Time-frequency transfer function calculus (symbolic calculus) of linear time-varying systems (linear operators) based on a generalized underspread theory [Review] [J] . Matz G., Hlawatsch F. Journal of Mathematical Physics . 1998,第8期

机译：基于广义扩展理论的线性时变系统（线性算子）的时频传递函数演算（符号演算）[综述]
3. On variants of axiom systems of propositional calculus, I [J] . Sh#xF4, tar#xF4, Tanaka Proceedings of the Japan Academy, Series A. Mathematical Sciences . 1966,第2期

机译：关于命题演算公理系统的变体，I
4. CIRQUENT CALCULUS SYSTEM CL8S VERSUS CALCULUS OF STRUCTURES SYSTEM SKSG FOR PROPOSITIONAL LOGIC [C] . WENYAN XU, SANYANG LIU International Conference on Quantitative Logic and Soft Computing . 2012

机译：CirQueNy微积分系统CL8S与结构系统SKSG的鉴定逻辑
5. An expert system for pi-Calculus and Api-Calculus reduction. [D] . Dillard, John. 2005

机译：减少pi-微积分和Api-微积分的专家系统。
6. The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems [O] . Michael A. Boemo, Luca Cardelli, Conrad A. Nieduszynski 2020

机译：信标演算：一种灵活简洁的生物系统建模的正式方法
7. Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus [O] . Barendregt H.P., Bunder M., Dekkers W. 1998

机译：一阶命题和谓词演算的两个错义组合逻辑系统的完备性
8. A Generalized Decision Support System Using Predicate Calculus and Network Data Base Management [R] . Bonczek, R. H., Holsapple, C. W., Whinston, A. B. 1980

机译：基于谓词演算和网络数据库管理的广义决策支持系统

A unified approximate reasoning theory suitable for both propositional calculus system L* and predicate calculus system Κ*

摘要

著录项

相似文献

相关主题

期刊订阅