Sobre los meta teoremas de deducción y el concepto de implicación lógica
En este artículo se dan condiciones necesarias y suficientes para una forma generalizada del metateorema de deducción y se lo aplica a varios sistemas lógicos usándolo como un criterio para determinar la existencia de una implicación interna a tales sistemas.
| Autor Principal: | Cifuentes Vásquez, José Carlos |
|---|---|
| Formato: | Artículo |
| Idioma: | Español |
| Publicado: |
Pontificia Universidad Católica del Perú. Fondo editorial
2018
|
| Materias: | |
| Acceso en línea: |
http://repositorio.pucp.edu.pe/index/handle/123456789/112862 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| Sumario: |
En este artículo se dan condiciones necesarias y suficientes para una forma generalizada del metateorema de deducción y se lo aplica a varios sistemas lógicos usándolo como un criterio para determinar la existencia de una implicación interna a tales sistemas. |
|---|