Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT

Freigegeben

Buchkapitel

Reflection using the derivability conditions

MPG-Autoren
/persons/resource/persons45002

Matthews,  Seán
Programming Logics, MPI for Informatics, Max Planck Society;

Externe Ressourcen
Es sind keine externen Ressourcen hinterlegt
Volltexte (beschränkter Zugriff)
Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.
Volltexte (frei zugänglich)
Es sind keine frei zugänglichen Volltexte in PuRe verfügbar
Ergänzendes Material (frei zugänglich)
Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar
Zitation

Matthews, S., & Simpson, A. (1996). Reflection using the derivability conditions. In A. Ursini, & P. Agilanò (Eds.), Logic and Algebra (pp. 603-616). New York, USA: Marcel Dekker.


Zitierlink: https://hdl.handle.net/11858/00-001M-0000-0014-AC02-0
Zusammenfassung
Reflection principles are a way to build non-conservative true extensions of a theory. However the application of a reflection principle needs a proof predicate, and the effort needed to provide this is so great as to be not really practical. We look at a possible way to avoid this effort by using, instead of a proof predicate, a predicate defined using only necessary `modal' properties. Surprisingly, we can produce powerful non-conservative extensions this way. But a reflection principle based on such a predicate is essentially weaker, and we also consider its limitations.