Sagastume, M. <br/><br/>
Bounded commutative B-C-K logic and Lukasiewicz Logics