Finite semantics for fragments of intuitionistic logic - Felipe S. Albarelli; Rodolfo Ertola-Biraben (2019)