@misc{indiciae90fd08a1bc70, title = {Completeness in local positive logic}, author = {Arturo Rodriguez Fanlo and Ori Segel}, year = {2025}, doi = {10.1016/j.apal.2025.103601}, url = {https://arxiv.org/abs/2401.03260}, note = {Source identifier: 2401.03260} }