A Note on Gödel-Dummet Logic LC
[EN] Let A_{0}, A_{1}, ..., A_{n} be (possibly) distintict wffs, n being an odd number equal to or greater than 1. Intuitionistic Propositional Logic IPC plus the axiom (A_{0} →A_{1}) ∨ ... ∨ (A_{n−1} → A_{n}) ∨ (A_{n} → A_{0}) is equivalent to G¨odel-Dummett logic LC. However, if n is an even numbe...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2021 |
| 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/25663 |
| Acceso en línea: | https://czasopisma.uni.lodz.pl/bulletin/article/view/10010 https://hdl.handle.net/10612/25663 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica Intermediate logics Gödel-Dummett logic LC. 11 Lógica |
| Sumario: | [EN] Let A_{0}, A_{1}, ..., A_{n} be (possibly) distintict wffs, n being an odd number equal to or greater than 1. Intuitionistic Propositional Logic IPC plus the axiom (A_{0} →A_{1}) ∨ ... ∨ (A_{n−1} → A_{n}) ∨ (A_{n} → A_{0}) is equivalent to G¨odel-Dummett logic LC. However, if n is an even number equal to or greater than 2, IPC plus the said axiom is a sublogic of LC. |
|---|