CATALOGO DEI PRODOTTI DELLA RICERCA
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishWe introduce a framework for presenting non-classical logics in a modular and uniform way as labelled natural deduction systems. The use of algebras of truth-values as the labelling algebras of our systems allows us to give generalized systems for multiple-valued logics. More specifically, our framework generalizes previous work where labels represent worlds in the underlying Kripke structure: since we can take multiple-valued logics as meaning not only finitely or infinitely many-valued logics but also power-set logics, our framework allows us to present also logics such as modal, intuitionistic and relevance logics, thus providing a first step towards fibring these logics with many-valued ones.
| Titolo: | Labelled Deduction over Algebras of Truth-Values |
| Autori: | |
| Data di pubblicazione: | 2002 |
| Abstract: | We introduce a framework for presenting non-classical logics in a modular and uniform way as labelled natural deduction systems. The use of algebras of truth-values as the labelling algebras of our systems allows us to give generalized systems for multiple-valued logics. More specifically, our framework generalizes previous work where labels represent worlds in the underlying Kripke structure: since we can take multiple-valued logics as meaning not only finitely or infinitely many-valued logics but also power-set logics, our framework allows us to present also logics such as modal, intuitionistic and relevance logics, thus providing a first step towards fibring these logics with many-valued ones. |
| Handle: | http://hdl.handle.net/11562/243772 |
| ISBN: | 3540433813 |
| Appare nelle tipologie: | 04.01 Contributo in atti di convegno |
File in questo prodotto:
Copyright © 2020