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

Chinese Quarterly Journal of Mathematics ›› 2006, Vol. 21 ›› Issue (2): 301-308.

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

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

CLC Number:

O141

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]	ZOU Mian-lu, LI Qiang. Some New Regularity Criteria for the 3D Boussinesq Equations in Homogeneous Besov Spaces [J]. Chinese Quarterly Journal of Mathematics, 2024, 39(1): 73-81.
[2]	LIU Gong-wei, YANG Kun. Finite Time Blow-Up and Global Existence for Degenerate Parabolic Equations at High Initial Energy [J]. Chinese Quarterly Journal of Mathematics, 2024, 39(1): 97-110.
[3]	TANG Zhong-hua, FANG Shao-mei. Implicit Finite Difference Method for Time-Space Caputo-Riesz Fractional Diffusion Equation with Fractional Robin Boundary Conditions [J]. Chinese Quarterly Journal of Mathematics, 2024, 39(1): 18-30.
[4]	LI Hong-jun. Hopf-Rinow Theorem on Convex Complex Finsler Manifolds [J]. Chinese Quarterly Journal of Mathematics, 2024, 39(1): 31-45.
[5]	PAN Jia-hui, FANG Shao-mei. Initial Boundary Value Problem for Pseudo-Parabolic p-Laplacian Type Equation with Logarithmic Nonlinearity [J]. Chinese Quarterly Journal of Mathematics, 2023, 38(4): 360-369.
[6]	HOU Bo, KOU Wen. Construction of a Class of Gerstenhaber Algebras [J]. Chinese Quarterly Journal of Mathematics, 2023, 38(4): 370-378.
[7]	SUN Xiao-lei. Competitive Equilibrium of Central Bank Digital Currency and Private Cryptocurrency: A Perspective of Regulatory [J]. Chinese Quarterly Journal of Mathematics, 2023, 38(4): 415-423.
[8]	YANG Yi-song. Some Applications of Surface Curvatures in Theoretical Physics [J]. Chinese Quarterly Journal of Mathematics, 2023, 38(3): 221-253.
[9]	GUAN Daniel. Some Applications of Group Actions in Complex Geometry [J]. Chinese Quarterly Journal of Mathematics, 2023, 38(3): 254-275.
[10]	QIN Yu-ming, CHEN Jia-le, JIANG Hui-te. A New Existence Theorem for Global Attractors and its Application to a Non-Classical Diffusion Equation [J]. Chinese Quarterly Journal of Mathematics, 2023, 38(3): 276-289.
[11]	WANG Shu, SUN Rui. Global Well-Posedness of the Initial-Boundary Value Problem on Incompressible MHD-Boussinesq Equations with Nonlinear Boundary Conditions [J]. Chinese Quarterly Journal of Mathematics, 2023, 38(3): 290-310.
[12]	XU Xiao-meng. On the Stokes Phenomenon and Representation Theory of Quantum Groups [J]. Chinese Quarterly Journal of Mathematics, 2023, 38(3): 311-330.
[13]	MA Teng. Multilinear Calderón-Zygmund Operators with Kernels of#br# Dini Type and Commutators in Variable Exponent#br# Central Morrey Spaces [J]. Chinese Quarterly Journal of Mathematics, 2023, 38(2): 184-195.
[14]	BAI Hong-fang. Stability and Hopf Bifurcation of an Eco-Epidemiological Model with Delay [J]. Chinese Quarterly Journal of Mathematics, 2023, 38(2): 157-183.
[15]	DONG Chang-zhou, LI Hao-xue. The Least Squares {P,Q,k+1}-Reflexive Solution to a Matrix Equation [J]. Chinese Quarterly Journal of Mathematics, 2023, 38(2): 210-220.

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

PDF (PC)

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments