Maffezioli, Paolo. 2025. “Proof Theory for Intuitionistic Stable Theories”. Logic and Logical Philosophy, June, 1-19. https://doi.org/10.12775/LLP.2025.012.