Abstract
The development of multiple-valued logic in its modern form began with the work of Jan Łukasiewicz [Łuk20] and Emil Post [Pos20, Pos21]. Since the emergence of computer science as an independent discipline, there have been an extensive interplay and mutual inspiration between the two fields. Apart from its logical and philosophical motivation, multiple-valued logic has applications, among others, in hardware design and artificial intelligence. In the field of hardware design classical propositional logic is used as a tool for specification and analysis of electrical switching circuits with two stable voltage levels. A generalization to a finitely-valued logic allows the analogous applications with possibly many stable states. In artificial intelligence multiple-valued logic provides models of vagueness or uncertainty of information and contributes to the development of formal methods simulating commonsense reasoning. Some recent developments and applications of multiple-valued logics can be found e.g., in [Mal93, Got00, Häh01, FO03].
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsAuthor information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Orłowska, E., Golińska-Pilarek, J. (2011). Dual Tableaux for Many-Valued Logics. In: Dual Tableaux: Foundations, Methodology, Case Studies. Trends in Logic, vol 33. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-0005-5_10
Download citation
DOI: https://doi.org/10.1007/978-94-007-0005-5_10
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-0004-8
Online ISBN: 978-94-007-0005-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)