Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities. - T. Jarmuzek; J. Malinowski; A. Parol; Nicolò Zamperlin (Log. J. IGPL, 2025)

Tableau methodology for propositional logics. - T. Jarmuzek; R. Gore (CoRR, 2025)