J. M. Castro Manzano, “An intermediate term functor logic”, ARG. Rev. Fil, vol. 11, nº 22, p. 17–31, mar. 2025.