Advances in the theory of fixed points in many-valued logics
This is a communication on some development of an idea suggested by K. Terui on how to handle nested fixed points in many-valued logic.
Advances in the theory of fixed points in many-valued logics