从事实逻辑到任务逻辑

发布时间：2018-06-17 03:10

  本文选题：任务逻辑 + 附加算子　； 参考：《模糊系统与数学》2004年01期

【摘要】：在经典命题逻辑语言中引入附加算子冂,较系统地研究近几年刚刚被提出的任务逻辑。这里把公式理解为"任务",介绍了"任务逻辑"的语义理论,并从语构上定义形式系统L与之对应,证明该系统的可靠性、完备性及可判定性定理,最后建立系统L中的一系列基本定理。
[Abstract]:In the classical propositional logic language, the adjunct operator is introduced to study the task logic which has just been put forward in recent years. In this paper, the formula is understood as "task", the semantic theory of "task logic" is introduced, and the corresponding formal system L is defined in terms of construction. The reliability, completeness and determinability theorem of the system are proved. Finally, a series of basic theorems in system L are established.
【作者单位】： 陕西师范大学数学研究所 陕西师范大学数学研究所
【分类号】：O141.1

【共引文献】

相关期刊论文 前10条

1 许文艳,韩诚;R_0代数中的真布尔元[J];宝鸡文理学院学报(自然科学版);2003年04期

2 吴恒洋,韩诚;非全序R_0代数的结构[J];纯粹数学与应用数学;2004年01期

3 张隆传;张小红;;强Ockham代数与剩余格[J];纯粹数学与应用数学;2010年01期

4 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期

5 李璧镜;王国俊;;正则蕴涵算子所对应的逻辑伪度量空间[J];电子学报;2010年03期

6 胡明娣;王国俊;;基础R_0代数的结构研究[J];纺织高校基础科学学报;2006年03期

7 张红杰;吴洪博;;L_n命题演算中的一种新程度化方法[J];纺织高校基础科学学报;2007年03期

8 张小红,薛占熬,马盈仓;R_0-代数(NM-代数)的布尔MP滤子与布尔MP理想[J];工程数学学报;2005年02期

9 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期

10 张兴芳;孟广武;赵峰;张安英;;{I_m}(α-逻辑有效公式)的理论及其应用[J];工程数学学报;2007年01期

相关会议论文 前5条

1 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年

2 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年

3 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年

4 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年

5 张凤姣;张兴芳;李成允;;G銉del逻辑中真值函数特征及真度分布[A];第八届中国不确定系统年会论文集[C];2010年

相关博士学位论文 前10条

1 邹丽;基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究[D];西南交通大学;2010年

2 任芳;正则蕴涵算子与新型模糊逻辑系统的研究[D];陕西师范大学;2005年

3 尚云;量子逻辑中有效代数与伪有效代数的研究[D];陕西师范大学;2005年

4 刘华文;直觉模糊与区间值模糊环境下的多准则决策与推理算法[D];山东大学;2005年

5 王小明;时态角色委托代理授权图模型及其分析研究[D];西北大学;2004年

6 陈树伟;基于格蕴涵代数的格值一阶逻辑L_（vfl）中的不确定性推理研究[D];西南交通大学;2006年

7 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年

8 伊良忠;格蕴涵代数及语言真值不确定性推理研究[D];西南交通大学;2007年

9 潘海玉;状态转换系统的格值量化验证方法研究[D];华东师范大学;2012年

10 钟小梅;基于格值逻辑的α-准锁语义归结自动推理研究[D];西南交通大学;2012年

相关硕士学位论文 前10条

1 刘婷;软集合理论在模糊逻辑代数中的应用研究[D];江南大学;2010年

2 李四化;几种多值逻辑系统重言式关系和L_4中导出函数问题的研究[D];山东大学;2010年

3 杜绍坤;格蕴涵代数及其与相关逻辑代数的关系研究[D];西南交通大学;2011年

4 马欢;带附加算子的剩余格及其滤子理论研究[D];宁波大学;2010年

5 许文艳;任务逻辑[D];陕西师范大学;2004年

6 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年

7 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年

8 刘振晗;基于广义归结的程序综合[D];大连理工大学;2005年

9 雷红轩;同步格值自动机和同步格值有限自动机[D];陕西师范大学;2005年

10 周湘南;理论的相容度及效应代数的滤子与商[D];陕西师范大学;2005年

【相似文献】

相关期刊论文 前10条

1 杨季文,朱巧明,吕强,王红玲,陆剑江;基于Windows95/98平台的纵横汉字输入系统的设计[J];苏州大学学报(自然科学版);1999年04期

2 孟庆武;孔达;;基于SuperMap IS技术的Web GIS实现[J];黑龙江水专学报;2006年02期

3 吕学伟;;NCRE客户端设置程序的设计与实现[J];实验科学与技术;2007年06期

4 胡钰;;创新型城市的评价与实现[J];科技进步与对策;2009年01期

5 魏娜;施闯;;地球参考框架的实现和维持[J];大地测量与地球动力学;2009年02期

6 张浩;;基于VHDL的3DES加密算法研究与设计[J];科技风;2009年10期

7 杜红悦;刘先林;宫辉力;;基于ArcSDE的空间数据综合管理系统设计与实现[J];测绘科学;2009年05期

8 王丛光;赵凯;;三维GIS技术及其在工程测量中的应用[J];中小企业管理与科技(下旬刊);2009年12期

9 冯军华;;船舶检验管理系统的设计与实现[J];科技信息;2010年21期

10 贾文芳;于海颖;;多媒体教室建设和使用情况的思考[J];大众科技;2011年08期

相关会议论文 前10条

1 曾凤括;李强;;坚持科学发展观 实现中部崛起[A];科技支撑 科学发展——2009年促进中部崛起专家论坛暨第五届湖北科技论坛文集[C];2009年

2 钟红;;电子病历的实现与探讨[A];中国医院协会病案管理专业委员会第15届全国病案管理学术会议论文集[C];2006年

3 樊云;;谈电子病案的实现[A];第二十届航天医学年会暨第三届航天护理年会论文汇编[C];2004年

4 张建东;雷汛;廖闻剑;;一种基于Parlay X的业务生成环境的实现[A];中国通信学会第五届学术年会论文集[C];2008年

5 彭戎;;“双主”教学模式在高职高专课堂教学中的实现[A];云南省高等教育学会高职高专教育分会2008年优秀论文集[C];2008年

6 姚植兴;;高校辅导员队伍传承性研究及其实现[A];提高领导科学发展能力暨纪念新中国成立60周年理论研讨会论文集[C];2009年

7 刘霆;;真空吸尘器Agent的JAVA实现[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年

8 邱华;陈燕;张龙;;依靠ERP信息系统实现梅钢设备点检透明化管理[A];中国计量协会冶金分会2009年年会论文集[C];2009年

9 李森;;移动存储设备全程管控的设计和实现[A];全国计算机安全学术交流会论文集（第二十二卷）[C];2007年

10 王香玲;赵勇飞;邓小刚;李一宁;王先政;何国珍;;沙湾水电站计算机监控系统的设计与实现[A];中国水力发电工程学会信息化专委会2009年学术交流会论文集[C];2009年

相关博士学位论文 前7条

1 黄菁;养成与反哺[D];西南大学;2008年

2 张淑梅;黑龙江垦区森林病虫害管理信息系统构建及应用研究[D];东北林业大学;2009年

3 张会;虚拟群体组织协同行为建模方法研究[D];国防科学技术大学;2006年

4 章敬平;论新闻自由[D];苏州大学;2007年

5 李华;法律视野下两宋与周边政权盟约研究[D];中国政法大学;2009年

6 赵京;西部经济发展中的政府作用[D];西北大学;2006年

7 徐国庆;实践导向职业教育课程研究[D];华东师范大学;2004年

相关硕士学位论文 前10条

1 刘鹏飞;基于GIS的开封市旅游信息系统研究[D];河南大学;2005年

2 唐丹;论电视语言的价值及其实现[D];中南大学;2005年

3 张洪峰;论立法机关的司法职能[D];苏州大学;2005年

4 王悦洲;中国农村教育与农业可持续发展[D];武汉大学;2005年

5 陈娟;任务型电子邮件语篇中的人际意义[D];对外经济贸易大学;2006年

6 张萍;有限责任公司股权质押效力问题研究[D];中国政法大学;2006年

7 胡桂芳;网络教学支持平台的设计与实现[D];华中师范大学;2005年

8 黄涛;面向应用级QoS中间件平台的解决方案[D];广东工业大学;2005年

9 程勤;论社会主义市场经济条件下公平与效率同一性的实现[D];武汉大学;2004年

10 廖赛娟;传统文化在现代大学中的教育价值及其实现[D];武汉理工大学;2006年

，

本文编号：2029392