“An intermediate term functor logic”, ARG. Rev. Fil, vol. 11, nº 22, p. 17–31, nov. 2019, doi: 10.36517/arf.v11i22.40017.