Assessing Logical Reasoning Capabilities of Encoder-Only Transformer Models. - Paulo Pirozelli; Marcos M. José; Paulo de Tarso P. Filho; Anarosa A. F. Brandão; Fábio G. Cozman (NeSy (1), 2024)