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.

Building Proofs in Context

ATTARDI, GIUSEPPE;SIMI, MARIA
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.
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.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11568/25088
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 6
social impact