@misc{indiciae83d6537d7c10, title = {Normalisation for Positive Free Logics without and with Definite Descriptions}, author = {Nils Kürbis}, year = {2026}, doi = {10.1017/s1755020326101166}, url = {https://arxiv.org/abs/2606.11735}, note = {Source identifier: 2606.11735} }