TY - JOUR AU - Robles, Gemma PY - 2014/01/07 Y2 - 2024/03/28 TI - A simple Henkin-style completeness proof for Gödel 3-valued logic G3 JF - Logic and Logical Philosophy JA - LLP VL - 23 IS - 4 SE - Articles DO - 10.12775/LLP.2014.001 UR - https://apcz.umk.pl/LLP/article/view/LLP.2014.001 SP - 371-390 AB - A simple Henkin-style completeness proof for Gödel 3-valued propositional logic G3 is provided. The idea is to endow G3 with an under-determined semantics (u-semantics) of the type defined by Dunn. The key concept in u-semantics is that of “under-determined interpretation” (u-interpretation). It is shown that consistent prime theories built upon G3 can be understood as (canonical) u-interpretations. In order to prove this fact we follow Brady by defining G3 as an extension of Anderson and Belnap’s positive fragment of First Degree Entailment Logic. ER -