EQUIVALENTIAL FRAGMENT OF THE INFINITE VALUED LOGIC OF LUKASIEWICZ AND THE INTERMEDIATE LOGICS
Piotr S. Krzystek · 2010
It is obvious that the equivalential fragment of the infinite-valued logic of Lukasiewicz (L∞) is contained in the equivalential fragment of the classical propositional logic. From the results of Kanzinski [2] it is follows that L∞ is also contained in the equivalential fragment of the intermediate logic LC3 determined by the pseudo-Boolean algebra of the three-element chain. In this paper we shall prove the following: