A general deduction theorem.
Guccione, Salvatore ; Tortora, Roberto
Stochastica, Tome 4 (1980), p. 189-199 / Harvested from Biblioteca Digital de Matemáticas
Access to full text

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.

Publié le : 1980-01-01
DMLE-ID : 1738 
@article{urn:eudml:doc:38971,
     title = {A general deduction theorem.},
     journal = {Stochastica},
     volume = {4},
     year = {1980},
     pages = {189-199},
     zbl = {0462.03006},
     mrnumber = {MR0611503},
     language = {en},
     url = {http://dml.mathdoc.fr/item/urn:eudml:doc:38971}
}

Guccione, Salvatore; Tortora, Roberto. A general deduction theorem.. Stochastica, Tome 4 (1980) pp. 189-199. http://gdmltest.u-ga.fr/item/urn:eudml:doc:38971/