In this paper a very general deduction theorem is presented, that is based upon a uniform notion of proof from hypoyheses and that 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.
A general deduction theorem / Guccione, Salvatore; Tortora, Roberto. - In: STOCHASTICA. - ISSN 0210-7821. - STAMPA. - 4:3(1980), pp. 189-199.
A general deduction theorem
GUCCIONE, SALVATORE;TORTORA, ROBERTO
1980
Abstract
In this paper a very general deduction theorem is presented, that is based upon a uniform notion of proof from hypoyheses and that 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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.