universal logic has only recently been named as such. This is perhaps because classical