格值命题逻辑系统LP(X)的语法扩张

数学季刊 ›› 2006, Vol. 21 ›› Issue (2): 301-308.

格值命题逻辑系统LP(X)的语法扩张

College of Computer and Information Engineering, Henan University, Kaifeng 475001, China;College of Sciences, Chongqing Technology and Business University, Chongqing 400067, China;Department of Mathematics, Ocean University of China, Qingdao 266071, China;Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031, China

收稿日期:2003-06-06 出版日期:2006-06-30 发布日期:2023-12-12
作者简介:ZHENG Feng-bin(1963-),male,native of Xinyang,Henan,an associate professor of Henan University,Ph.D.,engages in fuzzy logic and intelligent control.
基金资助:
Supported by the National Natural Science Foundation of China(60474022)；

Syntactic Extension of Lattice-valued Propositional Logic LP(X)

College of Computer and Information Engineering, Henan University, Kaifeng 475001, China;College of Sciences, Chongqing Technology and Business University, Chongqing 400067, China;Department of Mathematics, Ocean University of China, Qingdao 266071, China;Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031, China

Received:2003-06-06 Online:2006-06-30 Published:2023-12-12
About author:ZHENG Feng-bin(1963-),male,native of Xinyang,Henan,an associate professor of Henan University,Ph.D.,engages in fuzzy logic and intelligent control.
Supported by:
Supported by the National Natural Science Foundation of China(60474022)；

摘要/Abstract

摘要： We have given a semantic extension of lattice-valued propositional logic LP(X) in [6]. In this paper, we investigate its corresponding syntactic extension of LP(X) and give the relations between these two extensions.

关键词: , lattice-valued , , logic, lattice , , , implication , , algebra, (a,β)-consequence, (a,β)- theorem, formal proof

Abstract: We have given a semantic extension of lattice-valued propositional logic LP(X) in [6]. In this paper, we investigate its corresponding syntactic extension of LP(X) and give the relations between these two extensions.

Key words: , lattice-valued , , logic, lattice , , , implication , , algebra, (a,β)-consequence, (a,β)- theorem, formal proof

中图分类号:

O141

郑逢斌, 李庆玉, 王学芳, 徐扬. 格值命题逻辑系统LP(X)的语法扩张[J]. 数学季刊, 2006, 21(2): 301-308.

ZHENG Feng-bin, LI Qing-yu, WANG Xue-fang, XU Yang. Syntactic Extension of Lattice-valued Propositional Logic LP(X)[J]. Chinese Quarterly Journal of Mathematics, 2006, 21(2): 301-308.

[1]	陈玉磊, 郭东威. 涉及调和数的组合恒等式[J]. 数学季刊, 2024, 39(3): 307-314.
[2]	付志鹏. 关于KdV方程簇Tau函数仿射坐标的一个注记[J]. 数学季刊, 2024, 39(3): 324-330.
[3]	庞茹一, 陈巧玲. 具有食饵避难所的离散捕食者-食饵模型的余维二分支分析[J]. 数学季刊, 2024, 39(2): 128-143.
[4]	方晗兵, 许斌, 杨百瑞. 紧黎曼曲面上锥度量的高斯博内公式[J]. 数学季刊, 2024, 39(2): 180-184.
[5]	许云龙, 钟裕民. Bouw-M¨oler曲面的Minkowski常数[J]. 数学季刊, 2024, 39(2): 185-199.
[6]	唐忠华, 房少梅. 带分数阶Robin边界条件的时间-空间分数阶扩散方程的有限差分方法[J]. 数学季刊, 2024, 39(1): 18-30.
[7]	侯波, 扣雯. 一类 Gerstenhaber 代数的构造[J]. 数学季刊, 2023, 38(4): 370-378.
[8]	孙晓雷. 从监管视角分析中央银行数字货币与私人加密货币的竞争均衡[J]. 数学季刊, 2023, 38(4): 415-423.
[9]	杨亦松. 曲面上的曲率在理论物理中的一些应用[J]. 数学季刊, 2023, 38(3): 221-253.
[10]	关庄丹. 群作用在复几何中的一些运用[J]. 数学季刊, 2023, 38(3): 254-275.
[11]	秦玉明, 陈家乐, 姜慧特. 关于全局吸引子的一个新的存在性定理以及它对于非经典扩散方程的应用[J]. 数学季刊, 2023, 38(3): 276-289.
[12]	王术, 孙瑞. 具有非线性边界条件的不可压 MHD-Boussinesq方程组初边值问题的整体适定性#br#[J]. 数学季刊, 2023, 38(3): 290-310.
[13]	徐晓濛. Stokes 现象与量子群的表示[J]. 数学季刊, 2023, 38(3): 311-330.
[14]	马腾. 变指标中心Morrey空间上带Dini核的多线性C-Z算子[J]. 数学季刊, 2023, 38(2): 184-195.
[15]	白宏芳. 一类具有时滞的生态流行病模型的稳定性与 Hopf 分支[J]. 数学季刊, 2023, 38(2): 157-183.