On some systems for Łukasiewicz’s many-valued logic and its properties