A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A simple Henkin-style completeness proof for Gödel 3-valued logic G3
2014
Logic and Logical Philosophy
Preserved Fulltext
A simple Henkin-style completeness proof for Gödel 3-valued propositional logic G3 is provided. The idea is to endow G3 with an underdetermined 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
doi:10.12775/llp.2014.001
fatcat:n7b5ld2sdbh45lf5o4ahedvrti