TY - RPRT TI - Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities AU - Tomasz Jarmuzek AU - Jacek Malinowski AU - Aleksander Parol AU - Nicolo Zamperlin PY - 2024 UR - https://arxiv.org/abs/2401.10056 ID - 2401.10056 ER -