Paraconsistent and Paracomplete Zermelo-Fraenkel Set Theory. - Yurii Khomskii; Hrafn Valtýr Oddsson (Rev. Symb. Log., 2024)

Proof-Theoretic Functional Completeness for the Connexive Logic C. - Sara Ayhan; Hrafn Valtýr Oddsson (CoRR, 2025)