| 格蕴涵代数中滤子的逻辑性质(英文) |
| |
| 引用本文： | 王伟,徐扬,宋振明.格蕴涵代数中滤子的逻辑性质(英文)[J].数学季刊,2001(3). |
| |
| 作者姓名： | 王伟 徐扬 宋振明 |
| |
| 作者单位： | 解放军外国语学院基础部!河南洛阳471003(王伟)，西南交通大学应用数学系!四川成都610031(徐扬，宋振明) |
| |
| 基金项目： | SupportedbytheFoundationofSouthwestJiaotongUniversity(1999XJ 0 6) |
| |
| 摘 要： | 讨论了当格蕴涵代数L是完全分配格时蕴涵运算的一些性质 ,在格蕴涵代数L上引入了集合的蕴涵传递性概念 ,证明了格蕴涵代数的滤子满足蕴涵传递性和替换定理 ,即格蕴涵代数的滤子满足命题逻辑的三段论推理规则和替换定理
|
| 关 键 词： | 格蕴涵代数 滤子 传递性 |
The Logical Properties of Filters of Lattice Implication Algebra |
| |
| WANG Wei,XU Yang,SONG Zhen_ming.The Logical Properties of Filters of Lattice Implication Algebra[J].Chinese Quarterly Journal of Mathematics,2001(3). |
| |
| Authors: | WANG Wei XU Yang SONG Zhen_ming |
| |
| Institution: | WANG Wei1,XU Yang2,SONG Zhen_ming2 |
| |
| Abstract: | In this paper, we discuss some propertie s of lattice implication algebra and difine the transitivity of implication in a set, we show the transitivity of implication and the substitution Theorem hold i n filters. So every filter of lattice implication algebra satisfies the Syllogis m and substitution Theorem of propositional logic. |
| |
| Keywords: | lattice implication algebra filter transitivity |
| 本文献已被 CNKI 等数据库收录！ |
