TY  - RPRT
TI  - Proof-Theoretic Functional Completeness for the Connexive Logic C
AU  - Sara Ayhan
AU  - Hrafn Valtýr Oddsson
PY  - 2025
DO  - 10.1007/s11225-025-10200-1
UR  - https://arxiv.org/abs/2507.06854
ID  - 2507.06854
ER  -