universal logic UNILOG logica universalis unilog Wolrd Congress and School on Universal logic combination tableaux proof theory logic diagrams algebraic logic abstract logic substructural logic paraconsistent logic category categorial logics paradox negation truth values logical pluralism refutation square of opposition