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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Hájek, P. (1998). Many-Valued Propositional Calculi. In: Metamathematics of Fuzzy Logic. Trends in Logic, vol 4. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-5300-3_2
Download citation
DOI: https://doi.org/10.1007/978-94-011-5300-3_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-0370-7
Online ISBN: 978-94-011-5300-3
eBook Packages: Springer Book Archive