Castro, M. Una jerarquía De lógicas Terministas. St 2023, 14, 61-76.