Lines Matching refs:MIN
369 \subsection{La teoria {\tt MIN}}
372 La {\it teoria minimale\/}\index{MIN@\ml{MIN}}\index{minimal theory, della logica HOL@minimal theory, della logica \HOL{}} \theory{MIN} � definita da:
374 \theory{MIN} =
381 Dal momento che la teoria \theory{MIN} ha una firma che consiste solo di
385 Bench� la teoria \theory{MIN} contiene solo la sintassi standard
391 Nell'implementazione, alla teoria \theory{MIN} � dato il nome
400 di tipo di \theory{MIN}. La sua firma contiene le costanti in
401 \theory{MIN}. e le seguenti costanti:
489 Ininfe, come per la teoria \theory{MIN}, l'insieme ${\sf
494 teoria originaria \theory{MIN}. (Il meccanismo per fare tali
507 L'unico modello standard {\em Min\/} di \theory{MIN} d� origine a un
794 teoria \theory{MIN} nella Sezione~\ref{LOG}. Cos� con la notazione
797 \theory{LOG}\; =\; \theory{MIN}\;\begin{array}[t]{@{}l}