Bipartite truth and semi-negationsтезисы доклада