Fatti
La società K. S.A. e la società T. S.A. hanno firmato tre convenzioni tra il 1982 e il 1983 contenenti una clausola compromissoria. Nel 1988, T. S.A. ha adito un tribunale arbitrale sulla base di questa clausola. K. S.A. ha contestato la competenza del tribunale arbitrale, ritenendo che la risoluzione dei contratti avesse reso nulla la clausola compromissoria.
Il tribunale arbitrale si è dichiarato competente in un "lodo provvisorio" del 1° giugno 1989. K. S.A. ha quindi adito la Corte di giustizia del Cantone di Ginevra con un ricorso per nullità e ha anche impugnato il lodo provvisorio con un ricorso di diritto pubblico al Tribunale federale.
Legge
Ai sensi dell'articolo 176 capoverso 2 della Legge federale sul diritto internazionale privato (LDIP), il capitolo 12 sull'arbitrato internazionale non si applica quando le parti hanno escluso per iscritto la sua applicazione e hanno convenuto di applicare esclusivamente le norme della procedura cantonale in materia di arbitrato.
Il Tribunale federale ritiene che questa disposizione richieda due condizioni cumulative affinché una convenzione di esclusione sia valida: 1) le parti devono aver escluso espressamente per iscritto l'applicazione del capitolo 12 della LDIP, e 2)…