Reduction theory of finite proposition set in ■ukasiewicz propositional logic

The theory ofΓ-reduction in n-valued ■ukasiewicz propositional logic is introduced,the formal context of the propositional setΓis introduced and investigated.Several ways to determine theΓ-reduction are studied by investigating the relationship betweenΓand their subsets.The reduction of propositional setΓin ■ukasiewicz infinite valued logic can be reduced to n-valued ■ukasiewicz propositional logic.