Łukasiewicz har utarbetat ett stort antal olika axiomatiseringar av den klassiska satslogiken, varav en är välkänd och används än i dag. Systemet är såväl komprimerat som raffinerat och består av endast tre axiom samt en slutledningsregel, Modus ponendo ponens. Łukasiewicz var även en föregångare inom den flervärda satslogiken. Łukasiewicz notation, i form av den omvända polska notationen kom att ligga till grund för de datorer vars processorer byggde på stackstruktur, en rekursiv stack av typen LIFO. Konstruktionen implementerades i en mängd datorer och miniräknare, av vilka de mest kända är Hewlett-Packards så kallade RPN-räknare.
