2016. On the construction of fully interpreted formal languages which posses their truth predicates. Nonlinear Studies. 23, 4 (Nov. 2016).