Continuous Logic and Proof Theory for First-Order Łukasiewicz Logic