Redirecting to Łukasiewicz logic