Lines Matching defs:standard
33 `non standard' di \HOL, che non ci riguarderanno qui.}. Questo modello � dato in
169 esempio, i tipi atomici standard \ty{bool} e \ty{ind} denotano,
887 \section{Nozioni standard}
890 rappresentare le formule standard della logica � necessario
899 firma standard.
901 \subsection{Strutture di tipo standard}
902 \label{standard-type-structures}
904 Una struttura di tipo $\Omega$ � {\em standard\/} se contiene i
909 Un modello $M$ di $\Omega$ � {\em standard\/} se $M(\bool)$ e $M(\ind)$ sono
914 sono standard.
916 \subsection{Firme standard}
917 \label{standard-signatures}
918 \index{firme, della logica HOL@firme, della logica \HOL{}!standard}\index{firme standard, della logica HOL@firme standard, della logica \HOL{}}
920 Una firma $\Sigma_{\Omega}$ � {\em standard\/} se contiene le
936 $\Sigma_{\Omega}$ sar� chiamato {\em standard\/}\index{modelli standard, della logica HOL@modelli standard, della logica \HOL{}} se
941 la funzione d'implicazione standard\index{implicazione, nella logica HOL@implicazione, nella logica \HOL{}!semantica formale della}, che manda $b,b'\in\two$ su
982 standard.
988 collezione standard delle costanti logiche include $\T$ (`vero'), $\F$