Robles, G. (2014). A simple Henkin-style completeness proof for Gödel 3-valued logic G3. Logic and Logical Philosophy, 23(4), 371–390. https://doi.org/10.12775/LLP.2014.001