Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics. - Felipe Sasdelli; Maycon Amaro; Elton M. Cardoso; Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro (SBLP, 2020)