| 一种算子命题逻辑系统及其T-不变量推理算法 |
| |
| 引用本文： | 夏世芬,徐扬.一种算子命题逻辑系统及其T-不变量推理算法[J].模糊系统与数学,2007,21(6):18-23. |
| |
| 作者姓名： | 夏世芬 徐扬 |
| |
| 作者单位： | 西南交通大学,应用数学系,四川,成都,610031 |
| |
| 基金项目： | 国家自然科学基金资助项目(60474022)，西南交通大学基金资助项目(2006B09) |
| |
| 摘 要： | 定义一种只带原子命题以及命题算子的算子命题逻辑,讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子命题逻辑的归结推理,给出了算子命题逻辑的Petri网模型:Horn型,进一步讨论了推理算法:T-不变量算法,得到了算法的完备性定理。
|
| 关 键 词： | λ-归结 Petri网 T-不变量 算子命题逻辑 归结推理 |
| 文章编号： | 1001-7402（2007）06-0018-06 |
| 收稿时间： | 2005-03-22 |
| 修稿时间： | 2006-06-06 |
An Operator Proposition Logic System and Inference Algorithm of Petri Net |
| |
| XIA Shi-fen,XU Yang.An Operator Proposition Logic System and Inference Algorithm of Petri Net[J].Fuzzy Systems and Mathematics,2007,21(6):18-23. |
| |
| Authors: | XIA Shi-fen XU Yang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
