Compactness theorems of fuzzy semantics

来源 :科学通报(英文版) | 被引量 : 0次 | 上传用户:BB8120
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
The relationship among diverse fuzzy semantics vs. the corresponding logic consequence operators has been analyzed systematically. The results that compactness and logical compactness of fuzzy semantics are equivalent to compactness and continuity of the logic consequence operator induced by the semantics respectively have been proved under certain conditions. A general compactness theorem of fuzzy semantics have been established which says that every fuzzy semantics defined on a free algebra with members corresponding to continuous functions is compact.
其他文献
This work presents new experimental results on surface chemistry of reacting minerals and interface kinetics between mineral and aqueous solutions. These experi
This work presents new experimental results on the kinetics of mineral dissolution in near-critical and supercritical water in a temperature range (T) from 25 t
在重子波函数中考虑了s夸克与u,d夸克质量的差别,构造了把坐标空间与味空间联合成SU(3)rf的SU(3)rf×SU(2)s×SU(3)c群分类夸克间全反对称的重子波函数.与不考虑s夸克与u,d夸
研究分布参数系统{du/dt=(A+B(q))u u(0)=x x∈X关于目标泛函J(q)=1/2∫T0‖Cu(t;q)-y(t)‖2 Hdt的参数辨识问题的必要条件,证明了最优估计q.由系统的状态方程、协状态方程及
A series of polyvinyl alcohol (PVA) and polyvinyl pyrrolidone (PVP) blended hydrogel with kappa-carrageenan (KC) were prepared by radiation crosslinking with el
Block-type electrodes made of carbon nanotubes were fabricated by different processes. The volumetric specific capacitance based on such electrodes reached 107
The dual geochemical character of paragenesis and fractionation between gold,arsenic and antimony in micro-disseminated gold deposits in southwestern Guizhou is
The organization of ribosomal proteins in 16 prokaryotic genomes was studied as an example of comparative genome analyses of gene systems. Hypothetical ribosoma
The design and management of the objects about the numerical manifold method are studied by abstracting the finite cover system of numerical manifold method as