Applications and significance of the topic
Grzegorz Malinowski · 1993
Abstract Projections of the expected applications always constituted a distinguished motivation for many-valued logical constructions. At first, these conceptions, as with Lukasiewicz, were a philosophical revolution, but there were also much restricted ones, as with Kleene or Post. And, it is not at all easy to answer the question of whether and to what extent the expectations of the authors of several many-valued logical systems actually came to fruition. Independently of that, however, some concrete, worthy applications of many-valued logics and algebras can be indicated; for example, the use of logical matrices to demonstrate the independence of axioms, to formalize (some) intensional functions or the application of Moisil’s and Post’s algebras in electrical network theory. A little look at those uses, at the very least, gives a view of the significance of the topic. Just for this purpose we will present some examples of the applications of many-valued matrices and algebras to philosophical logic and to such practical areas as switching theory and computer science.