| 一类正规蕴涵及其导出算子 |
| |
| 引用本文： | 魏美丽.一类正规蕴涵及其导出算子[J].科学技术与工程,2009,9(9). |
| |
| 作者姓名： | 魏美丽 |
| |
| 作者单位： | 榆林学院数学与应用数学系,榆林,719000 |
| |
| 摘 要： | 通过对一些蕴涵算子性质的的研究得出:伴随对是三角模的蕴涵算子一定是正规蕴涵;若正规蕴涵的伴随对是三角模则其导出算子是其自身;正则蕴涵算子的导出算子是其自身.这些结论对建立多值逻辑的语义理论有重要的应用.
|
| 关 键 词： | 正规蕴涵 导出算子 伴随对 三角模 正则蕴涵算子 |
Class of Normal Implication and Its Derived Operator |
| |
| WEI Mei-li.Class of Normal Implication and Its Derived Operator[J].Science Technology and Engineering,2009,9(9). |
| |
| Authors: | WEI Mei-li |
| |
| Institution: | Department of Mathematics and Applied Mathematics;Yulin University;Yulin 719000;P.R.China |
| |
| Abstract: | The properties of some implication operators are investigated.The following results are obtained.The implication operator whose adjoint pairs is a triangle norm,is a normal implication.If a normal implication's adjoint pairs is a triangle norm,then its derived operator is itself.The derived operator of a regular implication operator is itself.These results are useful to establish sentantic theory on many valued logic. |
| |
| Keywords: | normal operator derived operator adjoint pair triangle norm regular implication operator |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
