Lviv-Warsaw School of Logic