Abstract
In Chapter 9, we discussed the lattice-valued propositional logics based on lattice implication algebra and their properties. In this chapter, we discuss the lattice-valued first-order logic based on lattice implication algebra. In Section 10.1, a lattice-valued first-order logic LF(X) is given. In Section 10.2, a gradational lattice-valued first-order logic Lυ f l is given.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have