Interfaces en la logica