Proof-Theoretic Aspects of Paraconsistency with Strong Consistency Operator. - Victoria Arce Pistone; Martín Figallo (Stud Logica, 2025)