In this paper some results are found about the validity of a Deduction Theorem for the complete axiomatizations of Lukasiewicz many-valued propositional calculi. These results follow from detailed analysis of the rules of inference occurring in each system.
Deduction Theorems in Lukasiewicz propositional calculi / Guccione, Salvatore; Tortora, Roberto; Vaccaro, Virginia. - In: RENDICONTI DEL SEMINARIO MATEMATICO. - ISSN 0373-1243. - STAMPA. - 39:1(1981), pp. 53-65.
Deduction Theorems in Lukasiewicz propositional calculi
GUCCIONE, SALVATORE;TORTORA, ROBERTO;VACCARO, VIRGINIA
1981
Abstract
In this paper some results are found about the validity of a Deduction Theorem for the complete axiomatizations of Lukasiewicz many-valued propositional calculi. These results follow from detailed analysis of the rules of inference occurring in each system.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.
