An application of algebraic geometry tools to intuitionistic logic - Andrade, Mayk de; Mariano, Hugo Luiz; Amodey, Steven (Brazilian Logic Conference - EBL 2025, 2025)