Detecting truth, just on parts

Zoltán Kovács, Tomás Recio, M. Pilar Vélez

We introduce and discuss, through a computational algebraic geometry approach, the automatic reasoning handling of propositions that are simultaneously true and false over some rel…