Sémantika DRK (5)

• Značení DRK:

• v neomezené interpretaci s omezeným výstupem DRKrout,

• v omezené interpretaci DRKlim

• doménově nezávislé výrazy DRKind.

• Tv.: DRKrout  DRKlim  DRKind. Navíc,

• (i) je-li D výraz DRK, pak existuje doménově nezávislý výraz D‘, který po vyhodnocení dá stejný výsledek jako D v neomezené interpretaci s omezeným výstupem.

• (ii) je-li D výraz DRK, pak existuje doménově nezávislý výraz D‘, který po vyhodnocení dá stejný výsledek jako D v omezená interpretaci.