Abstract

Now we are going to start our work with many-valued logic. We have already made several choices. First, as indicated in the title of the present chapter, we shall deal with propositional logic. Second, we take the real unit interval [0, 1] for our set of truth values, 1 being absolute truth, 0 absolute falsity. The natural ordering ≤ of reals will play a very important role; thus our truth values are linearly ordered, the ordering is dense and complete (each set of truth values has its supremum and infimum). In some basic considerations we shall deal with lattice valued logics too.

Full Text
Published version (Free)

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