Logica Abstracta