The LFIs are a powerful expansion of these ideas. A comprehensive overview and further work in this tradition is in Carnielli and Coniglio 2016. Further work on looking for consistency or recovery operators is in Barrio and Carnielli 2020.