Sobre los meta teoremas de deducción y el concepto de 'implicación lógica'
| Autor: | José Carlos Cifuentes Vásquez |
|---|---|
| Jazyk: | Spanish; Castilian |
| Rok vydání: | 1990 |
| Předmět: | |
| Zdroj: | Areté, Vol 2, Iss 1 (1990) |
| Druh dokumentu: | article |
| ISSN: | 1016-913X 2223-3741 |
| Popis: | 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. |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|