• ISSN 0258-2724
  • CN 51-1277/U
  • EI Compendex
  • Scopus 收录
  • 全国中文核心期刊
  • 中国科技论文统计源期刊
  • 中国科学引文数据库来源期刊

格蕴涵代数的模型论性质

秦克云 徐扬

秦克云, 徐扬. 格蕴涵代数的模型论性质[J]. 西南交通大学学报, 2000, 13(5): 546-550.
引用本文: 秦克云, 徐扬. 格蕴涵代数的模型论性质[J]. 西南交通大学学报, 2000, 13(5): 546-550.
QIN Ke-yun, XU Yang. On Model Properties of Lattice Implication Algebra[J]. Journal of Southwest Jiaotong University, 2000, 13(5): 546-550.
Citation: QIN Ke-yun, XU Yang. On Model Properties of Lattice Implication Algebra[J]. Journal of Southwest Jiaotong University, 2000, 13(5): 546-550.

格蕴涵代数的模型论性质

On Model Properties of Lattice Implication Algebra

  • 摘要: 讨论有关格蕴涵代数结构的模型论性质,证明了形式化格蕴涵代数理论T保子模型、保模型链之并、保 模型同态,理论T不是完备的、也不是模型完备的,因而不存在内在Skolem函数。另外,文中借助于超滤概念提 出了格蕴涵代数簇的超积及格蕴涵代数中模糊子集的模糊超积,并进而研究了模糊滤子、模糊关联滤子及模糊 子格蕴涵代数的相应性质。

     

  • 加载中
计量
  • 文章访问数:  1180
  • HTML全文浏览量:  35
  • PDF下载量:  153
  • 被引次数: 0
出版历程
  • 刊出日期:  2000-10-25

目录

    /

    返回文章
    返回