Partial Conversion In Logic