Truth degree of formula in 4-valued Godel nonlinear lattice logic

摘要

Quantitative logic in the many-valued logic system are established by Guojun Wang, which is based on linear evaluation lattice frame. In this paper, we defined the truth degree of formulas in 4-valued Godel nonlinear lattice logic system, and we given the basic property of the truth degree. Finally, we introduce the concept of the similarity degree between formulas and logic metric space in 4-valued Godel nonlinear lattice logic. It is proved that the new built concepts are extensions of the corresponding concepts in quantified logic.