Theory of truth degrees of formulas in (L)ukasiewicz n-valued propositional logic and a limit theore

来源 :中国科学F辑(英文版) | 被引量 : 0次 | 上传用户:xiaolinxiaoyi
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
The concept of truth degrees of formulas in (L)ukasiewicz n-valued proposi tional logic Ln is proposed. A limit theorem is obtained, which says that the truth function (T)n induced by truth degrees converges to the integrated truth function (T) when n converges to infinite. Hence this limit theorem builds a bridge between the discrete valued (L)ukasiewicz logic and the continuous valued (L)ukasiewicz logic. Moreover, the results obrained in the present paper is a natural generalization of the corresponding results obtained in two-valued propositional logic.
其他文献
The "Huang gus" melons were measured for their physical properties including firmness and static elastic modulus.The vibrational characteristics of fruits and v
The branching structure of uniform recursive trees is investigated in this paper.Using the method of sums for a sequence of independent random variables, the di
This paper proposes to use substrate materials of small electromechanical coupling coefficient k2 (such as X-112YLiTaO3) to manufacture wavelet transform elemen
The characterization of sulfonated polyetherketone (SPEK-C) films was investigated by using positron annihilation lifetime spectroscopy (PALS) and atomic force
Objective Chronic lead (Pb) exposure during development is known to produce learning deficits. Nitric oxide participates in the synaptic mechanisms involved in
It is well accepted that lower hybrid current drive (LHCD) is the most efficient method for non-inductive current drive in fusion devices and the effect of the
用活化法以 93Nb(n,2n)92mNb和 27Al(n, α)24Na反应截面为中子注量标准,对 198Pt(n,2n)197m+gPt, 198Pt(n,2n)197mPt, 192Pt(n,2n)191Pt, 194Pt(n,p)194Ir, 195Pt(n, p)195m
利用非线性σ-ω-ρ模型,在相对论平均场近似下,通过能量密度函数,给出了五夸克奇特重子态Θ+有效质量随核密度的增加逐渐下降的依赖关系,并进行了数值计算.分析了不同参数对
Methane conversion to C2 hydrocarbons has been investigated with the addition of hydrogen in a plasma reactor of abnormal glow discharge at atmospheric pressure