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.
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 |