A general deduction theorem.
- Autores: Salvatore Guccione, Roberto Tortora
- Localización: Stochastica: revista de matemática pura y aplicada, ISSN 0210-7821, Vol. 4, Nº. 3, 1980, págs. 189-199
- Idioma: inglés
- Títulos paralelos:
- Un teorema de deducción general.
- Enlaces
-
Resumen
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.
¿Es nuevo? Regístrese
Ventajas de registrarse
