Член Польської академії наук
(1937). Один з чільних представників львівсько-варшавської наукової
школи. Розробив оригінальну мову для формалізації логічних виразів (так
звана безкінечна символіка Лукашевича).
З 1945 – професор Королівської
ірландської академії в Дубліні.
