首页> 中文期刊> 《计算机工程与应用》 >Ⅱ系统中公式的真值函数及真度分布

Ⅱ系统中公式的真值函数及真度分布

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

团队文献服务 >>

页面导航

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

摘要

以Ⅱ系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题(VDF问题),即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何;进而按照逻辑等价的关系将由单原子生成的公式集进行细致地分类;最后又给出了由单个原子生成的公式的真度分布情况.

著录项

来源
《计算机工程与应用》 |2009年第15期|39-40|共2页
作者
李友雨; 张兴芳; 李成允;
展开▼
作者单位

聊城大学;

数学科学学院;

山东;

聊城;

252059;

聊城大学;

数学科学学院;

山东;

聊城;

252059;

聊城大学;

数学科学学院;

山东;

聊城;

252059;

展开▼
原文格式 PDF
正文语种 chi
中图分类命题演算、谓词演算、类演算 ;
关键词
Ⅱ系统; 逻辑公式; 真值函数; 真度 ;

相似文献

中文文献
外文文献
专利

1. Gdel系统中由一个或两个原子生成的公式的真值函数的特征 [J] . 张安英 ,张兴芳 ,高芹 . 模糊系统与数学 . 2007 ,第3期
2. L*系统中由单个原子生成的公式的真值函数的特征 [J] . 任芳 . 工程数学学报 . 2005 ,第003期
3. 乘积逻辑系统中公式的真度函数理论 [J] . 罗敏霞 ,姚宁 . 计算机工程与应用 . 2011 ,第025期
4. 命题逻辑系统Ln中公式集上的真度函数 [J] . 马丽娜 ,刘烁 ,王国俊 . 计算机工程与应用 . 2010 ,第036期
5. L~*系统中由单个原子生成公式的真度分布 [J] . 李友雨 ,张兴芳 ,李成允 . 计算机工程与应用 . 2010 ,第010期
6. G(o)del逻辑中真值函数特征及真度分布 [C] . Zhang Feng-Jiao ,张风姣 ,Zhang Xing-Fang . 第八届中国不确定系统年会暨第十二届中国青年信息与管理学者大会 . 2010
7. 公式真度的推广及L*系统单原子生成真值函数的特征 [A] . 陈熙 . 2011

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号