Lviv–Warsaw School of Logic