Frege Systems Proof Simulation Generalization for Lukasiewicz Logics

Generalizing proof simulation procedures for Frege systems to Lukasiewicz logics.