论文部分内容阅读
定义一种只带原子命题以及命题算子的算子命题逻辑，讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子命题逻辑的归结推理。给出了算子命题逻辑的Petri网模型：Horn型，进一步讨论了推理算法：T-不变量算法，得到了算法的完备性定理。
一种算子命题逻辑系统及其T-不变量推理算法
【摘 要】
：
定义一种只带原子命题以及命题算子的算子命题逻辑，讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子命题逻辑的归结推理。给出了算子命题逻辑的Petri网
【机 构】
：
西南交通大学应用数学系
【出 处】
：
模糊系统与数学
【发表日期】
：
2007年6期
其他文献
美国财务会计准则委员会（FASB）认为，公允价值指“在自愿各方之间进行的现行交易（即在非被迫或清算交易）中，购买（或发生）或出售（或清偿）资产（或负债）的金额。国际会计准则委员会（IASC）认为，公
【正】 黄河携泥裹沙一路奔波,从山东东营流入大海.造就了这片退海之地,淤积形成了黄河滩区。从前这片土地上荒无人烟20世纪初,人们始跟着黄河水来到这里。爷爷和我父亲、大
2005年《公司法》的修订,是对原公司法的充实和完善,是对公司法的一次改革,是全面性、根本性的大修大改.新公司法在公司治理方面有了重大的新增和调整内容,特别显著的是对监
文章讨论了迭代函数ＩＦＳ吸引子的参数控制，讨论了ＩＦＳ参数控制实现模拟树木的方法。
随着知识经济时代来临，人才竞争越来越激烈，当前市场对人才的需求，不仅看重学生的理论知识，更看重学生的实践创新能力，而会计专业的学生尤为重要。《基础会计》作为会计专业的基础
为了鼓励大学生创业,帮助其完成创业,就要对大学生创业心理进行资本开发和指导。通过对大学生进行拓展训练、设置课程教学、开展丰富的校园文化活动、进行基底实习等等,这些
拘谨认真、爽直豪迈,或许再加上几杯啤酒的高亢情绪,似乎便是德国予人的大致印象。尚且不到三千公尺的最高峰楚克希匹(Zugspitze)别有一番景致;静静流淌的莱茵河,算不得浩荡,
刘永明1943年出生于风景灵秀文脉悠长的北京香山脚下,曾就读于北京艺术学院、中央工艺美术学院,师从吴冠中等老一辈艺术家。1980年中央工艺美术学院壁画系研究生毕业。读研期
古代杂言诗中因为既有单音顿结尾的五七言句式，又有双音顿结尾的四六言句式，所以其调子是吟调与诵调的配合；同时，又因为杂言诗句式长短不齐，所以其调子又是长调与短调的配合。杂言
总结了教学点播的概念，分析了目前教学点播研究中存的问题。在对教学活动原型深入分析的基础上，提出了教学点播的SOCP子空间模型，概括了SOCP子空间模型的设计目标，详细介绍了SOCP