Logica Universalis [electronic resource] : Towards a General Theory of Logic