On the construction of fully interpreted formal languages which posses their truth predicates. (2016). Nonlinear Studies, 23(4). https://nonlinearstudies.com/index.php/nonlinear/article/view/1411