Abstract
Quantified logic in the many-valued logic system is established by Wang G J, which is based on linear evaluation lattice frame. The variable truth degree is defined in the propositional logic system associated with rhombus evaluation lattice and Gaines-Rescher implication operation, the fundamental nature of the variable truth degree is studied, the distribution of truth degree of formulae and inference rule based on truth degree are obtained, on the basis of which the inference degree's numerical is proved.
Full Text
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call