legame cut

legame cut

legame cut in logica, nell’ambito di una rete dimostrativa rappresentata da un grafo, è un nodo del grafo che corrisponde alla regola del taglio del calcolo dei sequenti. Il legame cut ha due premesse etichettate rispettivamente da una formula A e dalla sua negazione A^⊥ e nessuna conclusione (→ proof-net).