This book presents the first algebraic treatment of quasi-truth fuzzy logic and covers the algebraic foundations of many-valued logic. The book presents perfect algebras as an interesting subclass of local MV-algebras and provides readers with the necessary knowledge and tools for formalizing the fuzzy concept of quasi true and quasi false.
Introduction.- Basic Notions.- Classical Sentential Calculus and Lukasiewicz SententialCalculus.- MV -Algebras: Generalities.- Local MV -algebras.- Perfect MV -algebras.- The Variety Generated by Perfect MV -algebras.- Representations of Perfect MV -algebras.- The Logic of Perfect Algebras.- The Logic of Quasi True.- Perfect Pavelka Logic.
“This book studies many-valued logics and their algebraic counterparts which are suitable for formalizing and modelling the concept of quasi-true. … This work is a valuable source of information for all logicians and philosophers interested in mathematical models of vagueness, and their application to modelling many-valued truth-degrees in an algebraically coherent manner.” (Tomáš Kroupa, Mathematical Reviews, March, 2017)
Matti Heiliö, Timo Lähivaara, Erkki Laitinen, Timo Mantere, Jorma Merikoski, Seppo Pohjolainen, Kimmo Raivio, Risto Silvennoinen, Antti Suutala, Tanja Tarvainen, Timo Tiihonen, Jukka Tuomela, Esko Turunen, Marko Vauhkonen, Matti Heilio, Timo Lahivaara, Seppo Pohjolainen
Matti Heiliö, Timo Lähivaara, Erkki Laitinen, Timo Mantere, Jorma Merikoski, Seppo Pohjolainen, Kimmo Raivio, Risto Silvennoinen, Antti Suutala, Tanja Tarvainen, Timo Tiihonen, Jukka Tuomela, Esko Turunen, Marko Vauhkonen, Matti Heilio, Timo Lahivaara, Seppo Pohjolainen