CINECA IRIS Institutional Research Information System
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.
EnglishWhen reasoning with implicitly defined contexts or theories, a general notion of context is more appropriate than classical uses of reflection rules. Proofs in a multicontext framework can still be carryed out by switching to a context, reasonoing within it, an exporting the results. Context switching however does not correspond to reflection or reification but involves changing the level of nesting of theories within another theory. We introduce a generalized rule for proof in context and a convnient notation to express nesting of contexts, which allows us to perform reasoning in and across contexts in a safe and natural way.
| Titolo: | Building Proofs in Context |
| Autori interni: | |
| Anno del prodotto: | 1994 |
| Abstract: | When reasoning with implicitly defined contexts or theories, a general notion of context is more appropriate than classical uses of reflection rules. Proofs in a multicontext framework can still be carryed out by switching to a context, reasonoing within it, an exporting the results. Context switching however does not correspond to reflection or reification but involves changing the level of nesting of theories within another theory. We introduce a generalized rule for proof in context and a convnient notation to express nesting of contexts, which allows us to perform reasoning in and across contexts in a safe and natural way. |
| Handle: | http://hdl.handle.net/11568/25088 |
| ISBN: | 3540587926 |
| Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
http://hdl.handle.net/11568/25088
Copyright © 2021