A simple Henkin-style completeness proof for Gödel 3-valued logic G3
[EN] 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). I...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2014 |
| País: | España |
| Institución: | Universidad de León |
| Repositorio: | BULERIA. Repositorio Institucional de la Universidad de León |
| OAI Identifier: | oai:buleria.unileon.es:10612/25748 |
| Acceso en línea: | https://apcz.umk.pl/LLP/article/view/LLP.2014.001/2609 https://hdl.handle.net/10612/25748 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica Many-valued logic Gödel 3-valued logic Bivalent under-determined and over-determined semantics 11 Lógica 72 Filosofía |
| Sumario: | [EN] 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. |
|---|