TY - GEN AU - Sagastume,M. TI - Bounded commutative B-C-K logic and Lukasiewicz Logics ER -