TY  - RPRT
TI  - Normalisation for Positive Free Logics without and with Definite Descriptions
AU  - Nils Kürbis
PY  - 2026
DO  - 10.1017/s1755020326101166
UR  - https://arxiv.org/abs/2606.11735
ID  - 2606.11735
ER  -