Robles, G. “A Simple Henkin-Style Completeness Proof for Gödel 3-Valued Logic G3”. Logic and Logical Philosophy, vol. 23, no. 4, Jan. 2014, pp. 371-90, doi:10.12775/LLP.2014.001.