2. 您的位置
3. 首页
4. 期刊论文
5. 四种命题逻辑中公式的相对Γ-重言度理论

四种命题逻辑中公式的相对Γ-重言度理论

来源 :工程数学学报 | 被引量 : 0次 | 上传用户：lingyuehqu2009

【摘 要】

：

基于广义重言式理论,在四种重要的命题逻辑系统Lukasiewicz系统,L＊系统,G（o）del系统和Ⅱ系统中,引入了公式的相对Γ-重言度概念,给出了相对Γ-重言度的若干性质.利用公式的相对

【作 者】

：

王国俊 刘保翠 

【机 构】

：

陕西师范大学数学与信息科学学院,西安交通大学基础科学研究中心

【出 处】

：

工程数学学报

【发表日期】

：

2007年4期

【关键词】

：

命题逻辑 相对Γ-重言度 性质 Γ-相似度 伪距离 近似推理 propositional logic relativeΓ-tautology degree pr 

【基金项目】

：

国家自然科学基金（10331010）.

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

基于广义重言式理论,在四种重要的命题逻辑系统Lukasiewicz系统,L＊系统,G（o）del系统和Ⅱ系统中,引入了公式的相对Γ-重言度概念,给出了相对Γ-重言度的若干性质.利用公式的相对Γ-重言度,定义了公式间的Γ-相似度,进而导出了命题集F（S）上的一种伪距离.最后讨论了命题集F（S）上统一的近似推理理论,得到了三种类型的近似推理模式之间的内在联系.

其他文献

四维热传导方程的一族两层显格式

构造了解四维热传导方程的一族两层显格式，证明了当截断误差为O（△t＋△x^2）时，其稳定性条件为网比r=△t／△x^2=△t／△y^2=△t／△z^2=△t／△w^2≤11／24优于同类的其他显格式，当截断误差阶

期刊

四维热传导方程:显式差分格式:截断误差:稳定性4-D heat equation explicit difference scheme trunction e

冬日暖阳

冬天风大，摇着树的影子。我看见了三十年前的我，和同学们挤在学校前的一面土墙，用后背在砖块上蹭痒。昏黄的阳光笼罩大地。　　操场一角有一位老人，戴绒线帽，穿黑色棉袄。他用红薯糖做糖塑，卖五分钱一只。一只火炉，火炉上一只铝锅，加热后的红薯糖，像柔软的琥珀，温润光泽。老人拿一只小勺，舀一勺糖，他抖动手腕，液体的糖从小勺中流出，流到铁砧上，铁砧上有一只竹片。围绕这只竹片，掌勺的手，时而浓墨重彩，时而惜墨如金

期刊

《冬日嗳阳》中学生阅读知识语文学习

避免中国版广场协议重现

25年前，五个国家就重估美元价值达成广场协议。现在包括彼得森国际经济研究所所长柏格斯坦在内的美国知名经济学家们认为，是时候再次签署一项广场协议了，不过这次是要让中国人民

期刊

广场协议中国版经济研究所人民币升值经济学家元价值彼得森国际

N维Lengyel-Epstein模型常数平衡解的分歧

本文借助于Leray-Schauder度理论和分歧理论,研究了n维Lengyel-Epstein模型平衡态系统发自常数平衡态解的局部分歧和整体分歧,得到了非常数平衡态解存在的充分条件。

期刊

分歧LERAY-SCHAUDER度Lengyel-Epstein模型bifurcationLeray-Schauder degreeLengyel-Eps

双中心矩阵反问题及其在电网络理论中的应用

本文研究双中心矩阵反问题.建立了双中心矩阵反问题的最小二乘解,得到了解的具体表达式.讨论了用双中心矩阵反问题的解构造给定矩阵的最佳逼近问题,给出该问题有解的充分必要

期刊

双中心矩阵反问题最佳逼近电网络理论doubly center matrices inverse problem optimal approximatio

双重主动轮廓图像分割

本文首先利用小波变换得到原图像的粗分辨逼近,在粗分辨逼近中得到图像的一个粗尺度分割。由于逼近图像中噪声下降,尺寸减少,使得算法对参数的选取不太敏感,而且收敛速度加快。然后将第一次分割结果通过小波反变换返回到原始尺度上,将得到的近似轮廓曲线作为初始水平集函数再在原图像中演化得到更准确的分割,这样就得到了一种双重主动轮廓图像分割算法。由于初始轮廓曲线非常接近真实的轮廓曲线,所以很快就可以收敛到真实的轮

期刊

图像分割主动轮廓水平集小波变换image segmentation active contour level set wavelet transform

善用比喻出华章

孔子说：“言之无文，行而不远。”翻开唐诗、宋词的卷册，比比皆是魅力无穷、熠熠生辉的名言佳句。的确，正如美酒总是经过长久酿造才有它独特的芳醇一样，经过锤炼的语言才是有生命力的语言。古人对文字反复推敲，达到了忘我的境界。卢延让说“吟安一个字，捻断数茎须”，贾岛称“两句三年得，一吟双泪流”，杜甫更是“语不惊人死不休”，这些都是用心写作的典范。只有用心的石砧去锤打语言，才能够让你的作品字字珠玑，充满文采。

期刊

比喻语言佳句名言反复文字