“An intermediate term functor logic”, ARG. Rev. Fil, vol. 11, nº 22, p. 17–31, mar. 2025, doi: 10.36517/Argumentos.22.2.