格蕴涵代数中滤子的逻辑性质

数学季刊 ›› 2001, Vol. 16 ›› Issue (3): 8-13.

格蕴涵代数中滤子的逻辑性质

解放军外国语学院基础部河南洛阳471003,西南交通大学应用数学系四川成都610031

收稿日期:2000-06-10 出版日期:2001-09-30 发布日期:2024-05-30
作者简介:WANG Wei（1963－）,male,native of Luoyang,Henan,a lecturer of PLA Foreign Language Institute, Ph．D．of Southwest Jiaotong University,engages in fuzzy mathematics．
基金资助:
Supported by the Foundation of Southwest Jiaotong University（1999XJ06）

The Logical Properties of Filters of Lattice Implication Algebra

解放军外国语学院基础部河南洛阳471003,西南交通大学应用数学系四川成都610031

Received:2000-06-10 Online:2001-09-30 Published:2024-05-30
About author:WANG Wei（1963－）,male,native of Luoyang,Henan,a lecturer of PLA Foreign Language Institute, Ph．D．of Southwest Jiaotong University,engages in fuzzy mathematics．
Supported by:
Supported by the Foundation of Southwest Jiaotong University（1999XJ06）

摘要/Abstract

摘要： 讨论了当格蕴涵代数L是完全分配格时蕴涵运算的一些性质 ,在格蕴涵代数L上引入了集合的蕴涵传递性概念 ,证明了格蕴涵代数的滤子满足蕴涵传递性和替换定理 ,即格蕴涵代数的滤子满足命题逻辑的三段论推理规则和替换定理.

关键词: , 格蕴涵代数, 滤子, 传递性, ,

Abstract: 讨论了当格蕴涵代数L是完全分配格时蕴涵运算的一些性质 ,在格蕴涵代数L上引入了集合的蕴涵传递性概念 ,证明了格蕴涵代数的滤子满足蕴涵传递性和替换定理 ,即格蕴涵代数的滤子满足命题逻辑的三段论推理规则和替换定理.

Key words: , 格蕴涵代数, 滤子, 传递性, ,

中图分类号:

O153.1

王伟, 徐扬, 宋振明. 格蕴涵代数中滤子的逻辑性质[J]. 数学季刊, 2001, 16(3): 8-13.

WANG Wei, XU Yang, SONG Zhen-ming. The Logical Properties of Filters of Lattice Implication Algebra [J]. Chinese Quarterly Journal of Mathematics, 2001, 16(3): 8-13.

[1]	唐忠华, 房少梅. 带分数阶Robin边界条件的时间-空间分数阶扩散方程的有限差分方法[J]. 数学季刊, 2024, 39(1): 18-30.
[2]	潘嘉慧, 房少梅. 具有对数非线性项的伪抛物型 p-Laplacian 型方程的初边值问题[J]. 数学季刊, 2023, 38(4): 360-369.
[3]	孙晓雷. 从监管视角分析中央银行数字货币与私人加密货币的竞争均衡[J]. 数学季刊, 2023, 38(4): 415-423.
[4]	杨亦松. 曲面上的曲率在理论物理中的一些应用[J]. 数学季刊, 2023, 38(3): 221-253.
[5]	关庄丹. 群作用在复几何中的一些运用[J]. 数学季刊, 2023, 38(3): 254-275.
[6]	秦玉明, 陈家乐, 姜慧特. 关于全局吸引子的一个新的存在性定理以及它对于非经典扩散方程的应用[J]. 数学季刊, 2023, 38(3): 276-289.
[7]	王术, 孙瑞. 具有非线性边界条件的不可压 MHD-Boussinesq方程组初边值问题的整体适定性#br#[J]. 数学季刊, 2023, 38(3): 290-310.
[8]	徐晓濛. Stokes 现象与量子群的表示[J]. 数学季刊, 2023, 38(3): 311-330.
[9]	董昌州, 李浩雪. 矩阵方程的最小二乘{P,Q,k+1}-自反解[J]. 数学季刊, 2023, 38(2): 210-220.
[10]	马腾. 变指标中心Morrey空间上带Dini核的多线性C-Z算子[J]. 数学季刊, 2023, 38(2): 184-195.
[11]	柳亮, 王亚强. 非奇异H-张量的新判定[J]. 数学季刊, 2023, 38(2): 123-133.
[12]	任世全, 王冲. 有向图的加权解析挠率[J]. 数学季刊, 2023, 38(1): 30-49.
[13]	SARWAR Qanitah 黄振友 ZAHID Abdul Hannan. 具有勢壘的Sturm-Liouville算子的特徵值和特徵函數[J]. 数学季刊, 2023, 38(1): 50-61.
[14]	金玲子. 一类非凸优化问题的邻近拟牛顿方法的复杂性[J]. 数学季刊, 2023, 38(1): 62-84.
[15]	龙沁怡, 徐丽平. I型左删失下Topp–Leone分布的参数及可靠度函数的估计[J]. 数学季刊, 2023, 38(1): 97-110.

格蕴涵代数中滤子的逻辑性质

The Logical Properties of Filters of Lattice Implication Algebra

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价