Presentación | Participantes | Bibliografía (DML-E) | Bibliografía adicional | Enlaces de interés | Otros proyectos DML | Ayuda
INICIO |
27 de julio de 2024
A general deduction theorem.
| Título inglés | A general deduction theorem. |
|---|---|
| Título español | Un teorema de deducción general. |
| Autor/es | Guccione, Salvatore ; Tortora, Roberto |
| Organización | Ist. Fis. Teor. Univ. Napoli, Nápoles, Italia;Ist. Mat. Univ. Napoli, Nápoles, Italia |
| Revista | 0210-7821 |
| Publicación | 1980, 4 (3): 189-199, 14 Ref. |
| Tipo de documento | articulo |
| Idioma | Inglés |
| Resumen inglés | In this paper we present a very general deduction theorem which -based upon a uniform notion of proof from hypotheses- holds for a very large class of logical systems. Most of the known results for classical and modal logics, as well as new results, are immediate corollaries of this theorem. |
| Clasificación UNESCO | 110208 |
| Palabras clave español | Teorema de deducción ; Lógica matemática ; Lógica modal ; Sistemas lógicos de Lewis |
| Código MathReviews | MR0611503 |
| Código Z-Math | Zbl 0462.03006 |
 Acceso al artículo completo |
|