TY  - RPRT
TI  - Normalisation for Negative Free Logics without and with Definite Descriptions
AU  - Nils Kürbis
PY  - 2024
DO  - 10.1017/s1755020324000157
UR  - https://arxiv.org/abs/2410.11445
ID  - 2410.11445
ER  -