Łukasiewicz var en av grundarna till den s.k. Warszawa-skolan inom den matematiska logiken. Han införde och studerade flervärdig logik, introducerade en ny notation för satslogiken (prefixnotation) samt gjorde omfattande undersökningar av dennas syntax och semantik.