Robles G. A simple Henkin-style completeness proof for Gödel 3-valued logic G3. LLP [Internet]. 2014 Jan. 7 [cited 2024 Apr. 26];23(4):371-90. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2014.001