Term Substitution Theorem in First-order Fuzzy Predicate System

机译：一阶模糊谓词系统中的项替换定理

获取原文

页面导航

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

摘要

It has given out term substitution theorem in the system K *.R0-algebra is introduced firstly, and then the fuzzy interpretation of the first-order language.It discusses term substitution theorem in the first-order fuzzy predicate system K *.

机译：给出了系统K *中的项替换定理。首先介绍了R0-代数，然后对一阶语言进行了模糊解释。讨论了一阶模糊谓词系统K *中的项替换定理。

著录项

来源
《International conference on digital manufacturing automation》|2012年|1065-1068|共4页
会议地点
作者
Zhao Zheng-bo;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP391.73;
关键词
first-order language; first-order fuzzy predicate; term;

机译：一阶语言;一阶模糊谓词;项;

相似文献

外文文献
中文文献
专利

1. Fuzzy stochastic generalized reliability studies on embankment systems based on first-order approximation theorem [J] . Wang Yajun, Zhang Wohua, Jin Weiliang, 水科学与水工程：英文版 . 2008,第004期

机译：基于一阶逼近定理的路堤系统模糊随机广义可靠性研究
2. Semantical Completeness of First-Order Predicate Logic and the Weak Fan Theorem [J] . Krivtsov Victor N. Studia Logica . 2015,第3期

机译：一阶谓词逻辑的语义完整性和弱扇定理
3. Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics [J] . FRANCO MONTAGNA, CARLES NOGUERA Journal of logic and computation . 2010,第2期

机译：语义上一阶谓词模糊逻辑的算术复杂度
4. Term Substitution Theorem in First-order Fuzzy Predicate System [C] . Zhao Zheng-bo ICDMA2012 . 2012

机译：一阶模糊谓词系统中的术语替代定理
5. CONSTANT TERM IDENTITIES FOR FINITE AND AFFINE ROOT SYSTEMS: CONJECTURES AND THEOREMS. [D] . MORRIS, WALTER GARFIELD, II. 1982

机译：有限和仿射根系统的常数项：假想和定理。
6. Calculating pKa values for substituted phenols and hydration energies for other compounds with the first-order Fuzzy-Border continuum solvation model [O] . Ity Sharma, George A. Kaminski -1

机译：计算与一阶模糊边界连续素溶剂化模型的其他化合物的取代酚和水合能的PKA值
7. On the strong completeness theorems for the first-order generalized intuitionistic predicate calculus [O] . 白井古希男 1997

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

Term Substitution Theorem in First-order Fuzzy Predicate System

摘要

著录项

相似文献

相关主题

期刊订阅