Amber Logica Abstracta