Lines Matching refs:extension
679 \index{extension, della logica HOL@extension, della logica \HOL{}!forma astratta di}
683 estensione\/}\index{extension, of theory} di una teoria ${\cal T}$ se:
756 \index{extension, della logica HOL@extension, della logica \HOL{}!by constant definition|(}
776 Sig}_{\cal T}$, allora l'{\em estensione definizionale\/}\index{constant definition extension, della logica HOL@constant definition extension, della logica \HOL{}!forma astratta di} di ${\cal T}$
860 \index{extension, della logica HOL@extension, della logica \HOL{}!by constant definition|)}
863 \index{extension, della logica HOL@extension, della logica \HOL{}!by constant specification|(}
866 Le specifiche di costanti\index{constant specification extension, della logica HOL@constant specification extension, della logica \HOL{}!abstract form
1057 \index{extension, della logica HOL@extension, della logica \HOL{}!by constant specification|)}
1122 \index{extension, della logica HOL@extension, della logica \HOL{}!by type definition|(}
1137 esistenti. Tali tipi sono definiti\index{extension, della logica HOL@extension, della logica \HOL{}!by type definition} in \HOL{} introducendo una nuova costante
1281 \index{extension, della logica HOL@extension, della logica \HOL{}!by type definition|)}
1286 \index{extension, della logica HOL@extension, della logica \HOL{}!by type specification|(}
1572 \index{extension, della logica HOL@extension, della logica \HOL{}!by type specification|)}