proliferation of special purpose non-classical logics in recent years, universal logic