文献类型：期刊文章

作　　者：刘军[1] 徐扬[1]

机构地区：[1]西南交通大学应用数学系,成都610031

出　　处：《科学通报》

年　　份：1997

卷　　号：42

期　　号：10

起止页码：1049-1052

语　　种：中文

收录情况：BDHX、BDHX1996、CAS、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、JST、MR、RCCSE、WOS、ZGKJHX、核心刊

摘　　要：为了从语义角度研究命题的真值取于格上的逻辑系统,文献[1]将格与蕴涵代数相结合提出了格蕴涵代数的概念,文献[1,3～5]研究了格蕴涵代数的一些性质.本文讨论格蕴涵代数中的滤子,特别是生成滤子,并由此探讨一类格蕴涵代数的结构特征.1 滤子及其性质关于格蕴涵代数及其中滤子的定义参看文献[1].定义1 设(L,V,∧,’,→)为一个格蕴涵代数,称包含A(?)L的最小滤子(A]为由A生成的滤子.

关 键 词：格蕴涵代数 滤子 生成滤子  蕴涵代数 逻辑系统

分 类 号：O141[数学类] O153.1]