legame assioma

legame assioma

legame assioma in logica, nell’ambito di una rete dimostrativa rappresentata da un grafo, è un nodo del grafo che corrisponde alla regola dell’assioma (o regola dell’identità) nel calcolo dei sequenti lineare. Il legame assioma è indicato con (ax), non ha premesse e ha due conclusioni etichettate rispettivamente da una formula A e dalla sua negazione A^⊥ (→ proof-net).