Standard properties of many-valued constructions
Grzegorz Malinowski · 1993
Abstract The interpretation principle of propositional languages stated in 3.1 is a generalization of the truth-functionality principle constituting the base of matrix description of the classical propositional logic. The link in question is somehow manifested by the fact that most of the many-valued constructions known are ‘conservative’ extensions of the classical logic matrices. Rosser and Turquette (1952) determined the conditions that make finitely valued propositional logics resemble more the CPC, and hence simplified the problem of axiomatization and also the question of their extension to predicate logics (compare 11.3).