@inproceedings{inproceedingsea752415,
title   = {An application of algebraic geometry tools to intuitionistic logic},
author = {Andrade, Mayk de and Mariano, Hugo Luiz and Amodey, Steven},
year = {2025},
publisher = {Sociedade Brasileira de Lógica - SBL},
booktitle   = {Brazilian Logic Conference - EBL 2025}
}