@misc{indiciae4d4fd79464c2, title = {Uniform Local Tabularity in Intuitionistic Logic}, author = {Rodrigo Nicolau Almeida}, year = {2026}, doi = {10.4204/eptcs.447.3}, url = {https://arxiv.org/abs/2601.11208}, note = {Source identifier: 2601.11208} }