| 模态逻辑中的不变性和非线性性 |
| |
| 引用本文： | 李永礼,李川.模态逻辑中的不变性和非线性性[J].甘肃科学学报,1998,10(3):7-12. |
| |
| 作者姓名： | 李永礼 李川 |
| |
| 作者单位： | [1]兰州大学计算机科学系 [2]南京大学环境科学工程系 |
| |
| 摘 要： | 定义了集合和关系之间的复合运算※、右除／和左除＼。讨论了模态逻辑中关于※、／、＼运算对于子二元关系的不动子集和不变性、泛浑沌、泛引子和泛怪引子问题。不动子集是用来描述稳定性、周期性、不变性等等;而泛浑沌、泛引子和泛怪引子是用来描述非线性问题中的分叉、突变和混沌的。不变子集是一类特殊的单值化问题,一旦单值化条件破坏,就导致泛混沌、泛引子、泛怪引子的出现。
|
| 关 键 词： | 不动子集 不变性 非线性性 模态逻辑 |
THE INVARIANCE AND THE NONLINEARITY IN MODAL LOGICS |
| |
| Li Yongli\ \ Liu Li\ \ Shang Lin.THE INVARIANCE AND THE NONLINEARITY IN MODAL LOGICS[J].Journal of Gansu Sciences,1998,10(3):7-12. |
| |
| Authors: | Li Yongli\ \ Liu Li\ \ Shang Lin |
| |
| Abstract: | The operations of composition "*",right divistion "/" and left division " between set and relation are defined.Then the fixed subset and the invariance of sub binary relation in proposition modal logics about operation "*","/" and " are discussed,and panchaos,panattractor and strange panattractor are presented.Fixed subset describes stability,periodicity,invariance,etc.,panchaos,panattractor,and strange panattractor describe bifurcation,catastrophe and chaos in nonlinear problems.Fixed subset is a special kind of uniformization problems and fixed subsets on some set hold some uniformizing conditions.Once the conditions can not be held,then panchaos,panattractor,strange panattractor of the same set can be studied. |
| |
| Keywords: | fixed subset invariance nonlinearity modal logic |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
