legame tensore

Enciclopedia della Matematica (2013)

legame tensore


legame tensore in logica, nell’ambito di una rete dimostrativa rappresentata da un grafo, è un nodo del grafo che corrisponde alla regola di introduzione della congiunzione moltiplicativa (detta times e indicata con il simbolo ⊗; → logica lineare). Il legame tensore ha due premesse etichettate dalle formule A e B e una conclusione etichettata dalla formula A ⊗ B (→ proof-net).

Vocabolario
tensóre²
tensore2 tensóre2 s. m. [lo stesso etimo di tensóre1]. – 1. In matematica, termine col quale inizialmente si è indicato il modulo di un vettore, successivamente passato a significare una generalizzazione del concetto di vettore, adatta...
tensóre¹
tensore1 tensóre1 agg. e s. m. [der. del lat. tensus, part. pass. di tendĕre «tendere»]. – In anatomia, di muscolo volontario o involontario che ha la funzione di tendere un organo o una formazione anatomica (muscolo t., o assol. tensore...