G. Robles, “A simple Henkin-style completeness proof for Gödel 3-valued logic G3”, LLP, vol. 23, no. 4, pp. 371–390, Jan. 2014.