Lukasiewicz logics
Grzegorz Malinowski · 1993
Abstract The generalization of his three-valued construction (see Chapter 2) led Lukasiewicz in 1922 to the family of many-valued matrices, both finite and infinite valued (countable and of the power of continuum); see Lukasiewicz (1961 p.135). The propositional calculi of Lukasiewicz and the related algebras have undoubtedly an important place in the history of logical many-valuedness. An account of the work of Lukasiewicz and his followers is given below.