In this paper a unified classification is proposed of the rules of inference of classical, modal and multiple-valued logical systems. Moreover a new notion of levels of deducibility is introduced, which enables to treat the syntactical notions of multiple-valued logics in a way more adequate to the usual semantics than the traditional ones.
Deducibility in many-valued logics / Guccione, Salvatore; Tortora, Roberto. - STAMPA. - (1982), pp. 117-121. (Intervento presentato al convegno 12th International Symposium on Multiple-valued Logic tenutosi a Parigi nel 1982).
Deducibility in many-valued logics
GUCCIONE, SALVATORE;TORTORA, ROBERTO
1982
Abstract
In this paper a unified classification is proposed of the rules of inference of classical, modal and multiple-valued logical systems. Moreover a new notion of levels of deducibility is introduced, which enables to treat the syntactical notions of multiple-valued logics in a way more adequate to the usual semantics than the traditional ones.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.
