|
|||||
|
|
| 格蕴涵代数的滤子与结构 | |
| 作者姓名： | 刘军 徐扬 |
| 作者单位： | 西南交通大学应用数学系!成都610031 |
| 摘 要： | 为了从语义角度研究命题的真值取于格上的逻辑系统,文献[1]将格与蕴涵代数相结合提出了格蕴涵代数的概念,文献[1,3～5]研究了格蕴涵代数的一些性质.本文讨论格蕴涵代数中的滤子,特别是生成滤子,并由此探讨一类格蕴涵代数的结构特征.1 滤子及其性质关于格蕴涵代数及其中滤子的定义参看文献[1].定义1 设(L,V,∧,’,→)为一个格蕴涵代数,称包含A(?)L的最小滤子(A]为由A生成的滤子. |
| 关 键 词： | 格蕴涵代数 滤子 生成滤子 蕴涵代数 逻辑系统 |
| 收稿时间： | 1996-08-30 |
| 修稿时间： | 1997-01-22 |
| 本文献已被 CNKI 维普 等数据库收录！ | |